Results 121 to 130 of about 83,510 (168)
Performance analysis of fuzzy control strategy for tractor semi-active seat suspension. [PDF]
Sci RepChen X, Wang Z, Qiu Y, Jiang N.
europepmc +1 more source
Design of a real-time energy monitoring system for profiling consumption in IoT nodes during local data processing. [PDF]
HardwareXVilla-Garzón AA +2 more
europepmc +1 more source
A Behavioral Ground Truth for Exteroceptive Sensors: Geometric Constraints and Stochastic Duration in Parking Maneuvers. [PDF]
Sensors (Basel)Leonardi S, Distefano N.
europepmc +1 more source
Conceptualization and implementation of community social prescribing evaluation: a case study of the co-designed <i>Connect Local</i> and <i>Spark</i> programs. [PDF]
Front Public HealthOgrin R +6 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Journal of Logic and Computation, 1994
Reasoning about hierarchical structures, where a simple inheritance could be complicated by possible exceptions, is an interesting research topic in artificial intelligence. The fundamental problems in this area are of a formal nature and they are solved using proper formalization.
Vauzeilles, Jacqueline +1 more
openaire +3 more sources
Reasoning about hierarchical structures, where a simple inheritance could be complicated by possible exceptions, is an interesting research topic in artificial intelligence. The fundamental problems in this area are of a formal nature and they are solved using proper formalization.
Vauzeilles, Jacqueline +1 more
openaire +3 more sources
Communications of the ACM, 2010
A novel approach to computational logic is reaching maturity, opening up opening up new vistas in programming languages, proof nets, and security applications.
openaire +1 more source
A novel approach to computational logic is reaching maturity, opening up opening up new vistas in programming languages, proof nets, and security applications.
openaire +1 more source
Mathematical Structures in Computer Science, 2002
This paper describes a family of logics whose categorical semantics is based on functors with structure rather than on categories with structure. This allows the consideration of logics that contain possibly distinct logical subsystems whose interactions are mediated by functorial mappings. For example, within one unified framework, we shall be able
Richard Blute +2 more
openaire +2 more sources
This paper describes a family of logics whose categorical semantics is based on functors with structure rather than on categories with structure. This allows the consideration of logics that contain possibly distinct logical subsystems whose interactions are mediated by functorial mappings. For example, within one unified framework, we shall be able
Richard Blute +2 more
openaire +2 more sources
Linear Logic for Non-Linear Storytelling
2010Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typical approach aims at generating narratives from baseline action representations, most often using planning techniques.
Anne-Gwenn Bosser +2 more
openaire +1 more source
Journal of Logic and Computation, 1994
The multiplicative fragment of linear logic is studied with the aim to simulate parallel computations. A translation is defined which transforms proofs of this formalism into communicating sequential processes (CSP). This translation is determined by a step-by-step correspondence between the cut-elimination process and the CSP execution. In section 3 a
openaire +1 more source
The multiplicative fragment of linear logic is studied with the aim to simulate parallel computations. A translation is defined which transforms proofs of this formalism into communicating sequential processes (CSP). This translation is determined by a step-by-step correspondence between the cut-elimination process and the CSP execution. In section 3 a
openaire +1 more source
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), 2002
Interaction nets provide a graphical paradigm of computation based on net rewriting. By encoding the cut-elimination process of linear logic they have proved successful in understanding the dynamics of reduction in the /spl lambda/-calculus. G. Gonthier et al.
openaire +1 more source
Interaction nets provide a graphical paradigm of computation based on net rewriting. By encoding the cut-elimination process of linear logic they have proved successful in understanding the dynamics of reduction in the /spl lambda/-calculus. G. Gonthier et al.
openaire +1 more source