1725 search results - page 174 / 345 » Kokono Search: A Location Based Search Engine |
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
– A “Cognitive Robotic Engine (CRE)” that generates perceptual and action behaviors to select and collect an optimal set of evidences has been introduced previously by the au...
115
click to vote
CLEF
2006
Springer
15 years 5 months ago
2006
Springer
We here describe the subword approach we used in the 2006 ImageCLEF Medical Image Retrieval task. It is based on the assupmtion that neither fully inflected nor automatically stem...
100
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
This paper presents a novel repeater insertion algorithm for the power minimization of realistic interconnect trees under given timing budgets. Our algorithm judiciously combines ...
115
click to vote
W2GIS
2009
Springer
15 years 6 months ago
2009
Springer
We propose a mobile Web map interface that is based on a metaphor of the Wired Fisheye Lens. The interface was developed by using an improved fisheye views (Focus+Glue+Context map...