747 search results - page 107 / 150 » An Alternative Representation for QBF |
106
click to vote
ISSTA
1998
ACM
15 years 4 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
104
click to vote
AGENTS
1997
Springer
15 years 4 months ago
1997
Springer
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
SIGMOD
1990
ACM
15 years 3 months ago
1990
ACM
In this work access support relataons are introduced as a means for optlmizmg query processing m object-oriented database systems The general idea 1s to mamtam redundant separate ...
SIGIR
2010
ACM
15 years 3 months ago
2010
ACM
Effective learning in multi-label classification (MLC) requires an ate level of abstraction for representing the relationship between each instance and multiple categories. Curren...
121
click to vote
HVC
2007
Springer
15 years 3 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...