10271 search results - page 1707 / 2055 » Computational science |
149
click to vote
LICS
2005
IEEE
16 years 11 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...
174
Voted
LICS
2005
IEEE
16 years 11 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...
284
click to vote
ITICSE
2005
ACM
16 years 10 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...
158
click to vote
ITICSE
2005
ACM
16 years 10 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...
140
click to vote
MSWIM
2005
ACM
16 years 10 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...