3047 search results - page 310 / 610 » On the Meaning of Logical Completeness |
196
Voted
TSMC
1998
15 years 7 months ago
1998
—An algorithmic solution method is presented for the problem of autonomous robot motion in completely unknown environments. Our approach is based on the alternate execution of tw...
225
click to vote
DLOG
2011
14 years 11 months ago
2011
Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...
232
Voted
CAV
2012
Springer
13 years 10 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
165
Voted
DAC
2002
ACM
16 years 8 months ago
2002
ACM
This paper gives a simple but nontrivial set of local transformation rules for Control-NOT(CNOT)-based combinatorial circuits. It is shown that this rule set is complete, namely, ...
173
Voted
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Programmable circuit design has played an important role in improving design productivity over the last few decades. By imposing structure on the design, efficient automation of s...