162 search results - page 20 / 33 » Completeness Guarantees for Incomplete Reasoners |
162
click to vote
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
IJSN
2006
14 years 9 months ago
2006
: In order to conceal their identity and origin, network based intruders seldom attack directly from their own hosts, but rather stage their attacks through intermediate `stepping ...
106
click to vote
SMA
1995
ACM
15 years 1 months ago
1995
ACM
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...
AAAI
2000
14 years 11 months ago
2000
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
IEE
2008
14 years 10 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...