5086 search results - page 286 / 1018 » The Power of Comparative Reasoning |
185
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
169
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
151
click to vote
SIGCSE
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes our experiences incorporating Java in a Data Structures course. We describe the features of Java that made for a more interesting course, the difficulties tha...
139
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
A case study of usability of dial-a-ride bus systems is reported. We conduct a social simulation to compare efficiencies of the dial-a-ride bus systems, one of possible multiagent...
176
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...