3028 search results - page 313 / 606 » Integrating Temporal Logics |
202
click to vote
NN
2002
Springer
15 years 6 months ago
2002
Springer
This paper presents a biologically-inspired, hardware-realisable spiking neuron model, which we call the Temporal Noisy-Leaky Integrator (TNLI). The dynamic applications of the mo...
327
click to vote
ICDE
1997
IEEE
16 years 8 months ago
1997
IEEE
2. ODB-QOPTIMIZER : the tool ODB-QOPTIMIZERis a ODMG 93 compliant tool for the schema validation and semantic query optimization. The approach is based on two fundamental ingredien...
159
click to vote
IOLTS
2008
IEEE
16 years 1 months ago
2008
IEEE
Polymorphic gates can be considered as a new reconfigurable technology capable of integrating logic functions with sensing in a single compact structure. Polymorphic gates whose ...
204
click to vote
SUM
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
144
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
— We propose a methodology for Boolean matching under permutations of inputs and outputs (PP-equivalence checking problem) — a key step in incremental logic design that identif...