Sciweavers

1860 search results - page 155 / 372
» Automatic Generation of Search Engines
Sort
View
134
Voted
CVPR
2004
IEEE
16 years 6 months ago
Searching the Web with Mobile Images for Location Recognition
In this paper, we describe an approach to recognizing location from mobile devices using image-based web search. We demonstrate the usefulness of common image search metrics appli...
Tom Yeh, Konrad Tollmar, Trevor Darrell
PLDI
2006
ACM
15 years 10 months ago
Automatic instruction scheduler retargeting by reverse-engineering
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
Matthew J. Bridges, Neil Vachharajani, Guilherme O...
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
15 years 10 months ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
JCDL
2004
ACM
198views Education» more  JCDL 2004»
15 years 9 months ago
Finding authoritative people from the web
Today’s web is so huge and diverse that it arguably reflects the real world. For this reason, searching the web is a promising approach to find things in the real world. This ...
Masanori Harada, Shin-ya Sato, Kazuhiro Kazama
KBSE
2005
IEEE
15 years 9 months ago
Automatic test factoring for java
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenti...
David Saff, Shay Artzi, Jeff H. Perkins, Michael D...