2145 search results - page 201 / 429 » Lax Logical Relations |
SUM
2007
Springer
14 years 2 months 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 ...
FCT
2005
Springer
14 years 1 months ago
2005
Springer
We show that a slightly extended version of asynchronous cellular automata, relative to any class of pomsets and dags without autoconcurrency, has the same expressive power as the ...
FUZZY
2001
Springer
14 years 23 days ago
2001
Springer
Abstract. A handwritten digit recognition system was used in a demonstration project to visualize artificial neural networks, in particular Kohonen’s self-organizing feature map...
AMAST
2000
Springer
14 years 19 days ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
ASPDAC
1999
ACM
14 years 18 days ago
1999
ACM
We describe a high performance clocking methodology for domino pipelines. Our technique maximizes the clock rate of the circular pipeline (“ring”) while maintaining the ring c...