1073 search results - page 111 / 215 » Reasoning about Continuous Processes |
148
Voted
DLOG
2009
15 years 11 days ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
175
click to vote
ICSE
2007
IEEE-ACM
15 years 8 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
110
Voted
SIBGRAPI
2006
IEEE
15 years 8 months ago
2006
IEEE
This work describes a new framework for automatic extraction of 2D branching structures images obtained from 3D shapes, such as neurons and retinopathy images. The majority of met...
141
Voted
ACL
2003
15 years 4 months ago
2003
Many applications of natural language processing technologies involve analyzing texts that concern the psychological states and processes of people, including their beliefs, goals...
209
Voted
ICDE
1999
IEEE
16 years 3 months ago
1999
IEEE
InfoSleuth1is an agent-based system for information discovery and retrieval in a dynamic, open environment. This paper discusses InfoSleuth's multibroker design and implement...