Results 221 to 230 of about 82,622 (268)

3D Perception-Based Adaptive Point Cloud Simplification and Slicing for Soil Compaction Pit Volume Calculation. [PDF]

Sensors (Basel)
Han C, Wei J, Shen T, Guo C.
europepmc   +1 more source

Impact of Fabrication Defects on FPGA Logic Using Memristor-Based Memory Cells. [PDF]

Micromachines (Basel)
Schoenen J, Gehrunger J, Mayrhofer L, Oster T, Piros E, Kim T, Arzumanov A, Miranda E, Hofmann K, Alff L, Hochberger C.   +10 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Linear Logic and Exceptions

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, Fouqueré, Christophe   +1 more
openaire   +3 more sources

Linear logic

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

The logic of linear functors

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, J. Robin B. Cockett, Robert A. G. Seely   +2 more
openaire   +2 more sources

Linearization of the BCK-logic

Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Francisco Miguel García-Olmedo, Antonio J. Rodríguez Salas   +1 more
openaire   +1 more source

Linear Logic for Non-Linear Storytelling

2010
Whilst 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, Marc Cavazza, Ronan Champagnat   +2 more
openaire   +1 more source

Linear Logic as CSP

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

Linear logic with boxes

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