7335 search results - page 378 / 1467 » Scene Based Reasoning |
152
click to vote
DLOG
2004
15 years 6 months ago
2004
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...
141
click to vote
AAAI
1990
15 years 6 months ago
1990
A central problem in text-understanding research is the indeterminacy of natural language. Two related issues that arise in confronting this problem are the need to make complex i...
160
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
134
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
In this paper we address the problem of segmenting a trajectory such that each segment is in some sense homogeneous. We formally define different spatio-temporal criteria under ...
143
click to vote
ISVC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Multi-view range image integration aims at producing a single reasonable 3D point cloud. The point cloud is likely to be inconsistent with the measurements topologically ...