4163 search results - page 71 / 833 » A comprehensive combination framework |
CADE
2009
Springer
14 years 9 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
WCNC
2008
IEEE
14 years 3 months ago
2008
IEEE
—We present a system-level approach to localizing and tracking users on a basis of different sources of location information. We have applied a combination of the Cricket system ...
SIGIR
2006
ACM
14 years 2 months ago
2006
ACM
This paper introduces a general framework for the use of translation probabilities in cross-language information retrieval based on the notion that information retrieval fundament...
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
Automated analysis of facial images for the estimation of the displayed expression is essential in the design of intuitive and accessible human computer interaction systems. In ex...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
We observe increasing interest in aggregating geographically distributed, heterogeneous resources to perform large scale computations. MPI remains the most popular programming par...