713 search results - page 18 / 143 » Reasoning with Projected Contours |
ICLP
2010
Springer
14 years 19 days ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
GIS
2006
ACM
13 years 8 months ago
2006
ACM
The paper is written jointly by two parties, computer scientists specializing in geovisualization and experts in forestry, who cooperated within a joint project. The authors tell ...
IPMI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents a new registration method called Transitive InverseConsistent Manifold Registration (TICMR). The TICMR method jointly estimates correspondence maps be...
FLAIRS
2008
13 years 11 months ago
2008
This paper describes a research project that investigated the feasibility and advantages of using contextual reasoning to supervise the collaborative work of several knowledge wor...
TIME
1994
IEEE
14 years 26 days ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...