10271 search results - page 1707 / 2055 » Computer Science |
147
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
173
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
279
click to vote
ITICSE
2005
ACM
16 years 8 days ago
2005
ACM
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
155
click to vote
ITICSE
2005
ACM
16 years 8 days ago
2005
ACM
There are an increasing number of books published on the important topics of “object-oriented programming” and “object-oriented design” for use in education. However, obje...
138
click to vote
MSWIM
2005
ACM
16 years 8 days ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...