Developing measures to improve the traceability of contaminated food products across the supply chain is one of the key provisions of the 2011 FDA Food Safety Modernization Act (FSMA). In the event of a recall, FSMA r...
详细信息
In order to take best advantage of modern multi-core systems, interactive theorem provers need to parallelize execution effectively. We describe our modification to a particular theorem prover, ACL2, to use parallel e...
详细信息
In this paper we discuss a visual programming environment for the composition of services based on dataflow *** approach,strongly oriented towards web technologies,aims to offer the corporate application designer an i...
详细信息
ISBN:
(纸本)9781467349994
In this paper we discuss a visual programming environment for the composition of services based on dataflow *** approach,strongly oriented towards web technologies,aims to offer the corporate application designer an integrated set of very high-level tools to design and test new services via functional composition of already available *** user experience is a mixture of（a） graphical actions and choices,for example the drag and drop of graphical widgets and the connection of input-output links,and of（b） interface coding,via the textual specification of the translation logic of data object types flowing through the input/output interfaces of the composed *** new environment,named VisProSL（Visual programming Service-Link）,capitalizes on a standardized JSON syntax of exchanged data objects,is oriented to REST services,and makes use of a basic layer that provides the visual generation of interfaces towards location services.
In this paper, an extended projection temporal logic(EPTL), based on a primitive operator prj, is formalized. Further, as an executable subset of EPTL, an object-oriented MSVL is presented, which extends the temporal ...
详细信息
ISBN:
(纸本)9780819490254
In this paper, an extended projection temporal logic(EPTL), based on a primitive operator prj, is formalized. Further, as an executable subset of EPTL, an object-oriented MSVL is presented, which extends the temporal logicprogramming language MSVL to support object, class, aliasing, inheritance and overloading features. An example of modeling and simulating digital signal processing is given to illustrate how to use and execute the language.
In this paper we discuss a visual programming environment for the composition of services based on dataflow paradigm. this approach, strongly oriented towards web technologies, aims to offer the corporate application ...
详细信息
ISBN:
(纸本)9781467350006
In this paper we discuss a visual programming environment for the composition of services based on dataflow paradigm. this approach, strongly oriented towards web technologies, aims to offer the corporate application designer an integrated set of very high-level tools to design and test new services via functional composition of already available ones. the user experience is a mixture of (a) graphical actions and choices, for example the drag and drop of graphical widgets and the connection of input-output links, and of (b) interface coding, via the textual specification of the translation logic of data object types flowing through the input/output interfaces of the composed services. the new environment, named VisProSL (Visual programming Service-Link), capitalizes on a standardized JSON syntax of exchanged data objects, is oriented to REST services, and makes use of a basic layer that provides the visual generation of interfaces towards location services.
A recent development of a Semantic Web language led to Web Ontology Language (OWL) 2, an extension of OWL. So far OWL 2 has been designed by W3C as the language for representing a web ontology. Earlier we have develop...
详细信息
A recent development of a Semantic Web language led to Web Ontology Language (OWL) 2, an extension of OWL. So far OWL 2 has been designed by W3C as the language for representing a web ontology. Earlier we have developed a meta-logical approach for reasoning with Semantic Web ontologies expressed in OWL (Hirankitti and Tran, 4th IEEE internationalconference on Computer Sciences: Research, Innovation and Vision for the Future, Vietnam, pp 228-235, 2006b). Withthe new extension-OWL 2, in this paper we shall extend our previous work to support this richer language. A meta-interpreter, defined by a demo(.) predicate together with auxiliary axioms, is proposed and used for reasoning with OWL 2 ontologies expressed in terms of meta-programs. Finally we demonstrate some expressiveness of the meta-interpreter and compare it with other approaches.
the CDAOStore is a portal aimed at facilitating the storage and retrieval of data and metadata associated to studies in the field of evolutionary biology and phylogenetic analysis. the novelty of CDAOStore lies in the...
详细信息
ISBN:
(纸本)9781618397461
the CDAOStore is a portal aimed at facilitating the storage and retrieval of data and metadata associated to studies in the field of evolutionary biology and phylogenetic analysis. the novelty of CDAOStore lies in the use of a semantic-based approach to the storage and querying of data. CDAOStore represents the first full implementation of the EvoIO stack. CDAOStore has been implemented on top of an RDF triple store, using a combination of standard web technologies and logicprogramming technology. CDAOStore is operational and it already hosts over 90 million RDF triples, imported from TreeBase or submitted by scientists.
this paper presents a novel algorithm named Double-layer Multi-expression programming (DMEP). then DMEP model is applied to the prediction of 28-day Portland cement compressive strength. We compare DMEP model with oth...
详细信息
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is only evaluated if the first argument does not suffice to determine the value of the expression. In programmin...
详细信息
Given a default theory, we first show that the justified extensions of this theory characterize conflict-free sets of the corresponding abstract argumentation framework such as defined by Dung. We then show how to spe...
详细信息
ISBN:
(纸本)9789898425959
Given a default theory, we first show that the justified extensions of this theory characterize conflict-free sets of the corresponding abstract argumentation framework such as defined by Dung. We then show how to specialize justified extensions in order to represent admissible (and hence preferred and stable) extensions inside default theories. Relying on the correspondance of justified \tensions with t-answer sets on one hand, on the semi-monotonic character of justified extensions on the oil otherhand, we then show that any admissible (or preferred) set of arguments of the initial argumentation framework can be directly computed from the t-answcr sets of the equivalent logic program. Eventually allows us to consider thc addition of integrity constraints with whom the admissible sets refiltered from each t-answer set.
暂无评论