4224 search results - page 110 / 845 » Reasoning about Choice |
132
click to vote
TIME
1994
IEEE
15 years 9 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...
154
click to vote
TASE
2009
IEEE
16 years 6 days ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
152
click to vote
GEOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Grounding an ontology upon geographical data has been proposed as a method of handling the vagueness in the domain more effectively. In order to do this, we require meth...
163
click to vote
SIGMETRICS
2008
ACM
15 years 5 months ago
2008
ACM
Getting new security features and protocols to be widely adopted and deployed in the Internet has been a continuing challenge. There are several reasons for this, in particular ec...
166
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...