3244 search results - page 160 / 649 » Extensions to Description Logics |
168
click to vote
SEFM
2006
IEEE
16 years 11 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
154
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
When developing new designs, debugging the prototype is important to resolve application malfunction. During this board design debug, often a few pins of an IC are measured to che...
181
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
By providing an integrated and optimized support for user-defined aggregates (UDAs), data stream management systems (DSMS) can achieve superior power and generality while preservi...
163
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
177
click to vote
OWLED
2007
15 years 7 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...