100 search results - page 16 / 20 » In the Search of a Naive Type Theory |
ICPR
2008
IEEE
14 years 1 months ago
2008
IEEE
To automatically register foreground target in cluttered images, we present a novel hierarchical graph representation and a stochastic computing strategy in Bayesian framework. Th...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
CIKM
2007
Springer
14 years 1 months ago
2007
Springer
Query translation in Cross Language Information Retrieval (CLIR) can be performed using multiple resources. Previous attempts to combine different translation resources use simple...
SIGIR
2005
ACM
14 years 29 days ago
2005
ACM
In this paper, we propose a novel dependency language modeling approach for information retrieval. The approach extends the existing language modeling approach by relaxing the ind...
ICALP
2005
Springer
14 years 28 days ago
2005
Springer
We consider the problem of efficiently designing sets (codes) of equal-length DNA strings (words) that satisfy certain combinatorial constraints. This problem has numerous motivati...