Sciweavers

1113 search results - page 21 / 223
» Counter Systems for Data Logics
Sort
View
MEMOCODE
2008
IEEE
16 years 10 days ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
EUROPAR
1995
Springer
15 years 9 months ago
Relating Data-Parallelism and (And-) Parallelism in Logic Programs
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
Manuel V. Hermenegildo, Manuel Carro
ICDAR
2005
IEEE
15 years 11 months ago
Data categorization for a context return applied to logical document structure recognition
The purpose of this work is to develop a pattern recognition system simulating the human vision. A transparent neural network, with context returns is used. The context returns co...
Yves Rangoni, Abdel Belaïd
GLVLSI
2003
IEEE
145views VLSI» more  GLVLSI 2003»
15 years 11 months ago
Using dynamic domino circuits in self-timed systems
We introduce a simple hierarchical design technique for using dynamic domino circuits to build high-performance self-timed data path circuits. We wrap the dynamic domino circuit i...
Jung-Lin Yang, Erik Brunvand
ICTAI
2007
IEEE
16 years 8 days ago
Establishing Logical Rules from Empirical Data
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
John L. Pfaltz