2478 search results - page 259 / 496 » Quadtrees as an Abstract Domain |
151
Voted
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
Large scale distributed systems are becoming of paramount importance, due to the evolution of technology and to the interest of market. Their development, however, is not yet supp...
193
click to vote
CCL
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...
142
click to vote
ECAIW
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. Goal creation is an important consideration for an agent that is required to behave autonomously in a real-world domain. This paper describes an agent that is directed, n...
229
Voted
ECOOP
1994
Springer
15 years 10 months ago
1994
Springer
There is an undeniable demand to capture already proven and matured object-oriented design so that building reusable object-oriented software does not always have to start from scr...
191
click to vote
ICML
1989
IEEE
15 years 10 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...