6608 search results - page 971 / 1322 » On the Completeness of Model Checking |
180
click to vote
ISMIS
2000
Springer
15 years 10 months ago
2000
Springer
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
172
click to vote
HICSS
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
134
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
This paper describes a method for synthesizing images that match the texture appearanceof a given digitized sample. This synthesisis completely automatic and requires only the “...
185
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper proposes a mathematical framework for evaluating the throughput of an 802.11 Distributed Wireless Network (DWN) when the system allows Multi-Packet Reception (MPR) i...
178
click to vote
AAAI
2007
15 years 9 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...