1835 search results - page 91 / 367 » Classifying Description Logics |
131
Voted
CADE
2008
Springer
15 years 5 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
117
Voted
CADE
2002
Springer
16 years 4 months ago
2002
Springer
154
Voted
CADE
2008
Springer
15 years 5 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
112
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The HalpernShoham logic is a modal logic of time intervals. Some eort has been put in last ten years to classify fragments of this beautiful logic with respect to decid...
126
Voted
3DIM
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper compares two different local surface shape description methods. The general goal of surface shape description methods is to classify different surface shapes from range...