5459 search results - page 971 / 1092 » Context in Web Search |
SOFSEM
2010
Springer
14 years 7 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
CCGRID
2009
IEEE
14 years 4 months ago
2009
IEEE
— Grid infrastructures are in operation around the world, federating an impressive collection of computational resources and a wide variety of application software. In this conte...
ICDIM
2009
IEEE
14 years 4 months ago
2009
IEEE
Web-based digital libraries have sped up the process that scholars use to find new, important research papers. Unfortunately, current digital libraries are limited by their inade...
ICEIS
2009
IEEE
14 years 4 months ago
2009
IEEE
In an information retrieval system, a thesaurus can be used for query expansion, i.e. adding words to queries in order to improve recall. We propose a semi-automatic and interactiv...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
— We propose an approach for acquiring geometric 3D models using cameras mounted on autonomous vehicles and robots. Our method uses structure from motion techniques from computer...