559 search results - page 48 / 112 » Dependency Inference |
130
click to vote
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Termination of a heap-manipulating program generally depends on preconditions that express heap assumptions (i.e., assertions describing reachability, aliasing, separation and shar...
121
click to vote
INFORMATICALT
2000
15 years 10 days ago
2000
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...
100
Voted
ACL
2010
14 years 10 months ago
2010
We propose a corpus-based probabilistic framework to extract hidden common syntax across languages from non-parallel multilingual corpora in an unsupervised fashion. For this purp...
163
Voted
DPHOTO
2009
14 years 10 months ago
2009
In this paper we present a technique which infers interframe motion by tracking SIFT features through consecutive frames: feature points are detected and their stability is evalua...
133
Voted
AAAI
2008
15 years 2 months ago
2008
Traditional artificial intelligence techniques do not perform well in applications such as real-time strategy games because of the extensive search spaces which need to be explore...