Sciweavers

3646 search results - page 273 / 730
» Voice search for development
Sort
View
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
WWW
2005
ACM
16 years 7 months ago
Building an open source meta-search engine
In this short paper we introduce Helios, a flexible and efficient open source meta-search engine. Helios currently runs on the top of 16 search engines (in Web, Books, News, and A...
Antonio Gulli, A. Signorini
SIGIR
2006
ACM
16 years 20 days ago
Finding near-duplicate web pages: a large-scale evaluation of algorithms
Broder et al.’s [3] shingling algorithm and Charikar’s [4] random projection based approach are considered “state-of-theart” algorithms for finding near-duplicate web pag...
Monika Rauch Henzinger
SIGIR
2006
ACM
16 years 20 days ago
Building a test collection for complex document information processing
Research and development of information access technology for scanned paper documents has been hampered by the lack of public test collections of realistic scope and complexity. A...
David D. Lewis, Gady Agam, Shlomo Argamon, Ophir F...
ERCIMDL
2003
Springer
93views Education» more  ERCIMDL 2003»
15 years 12 months ago
geoXwalk - A Gazetteer Server and Service for UK Academia
This paper will summarise work undertaken on behalf of the UK academic community to evaluate and develop a gazetteer server and service which will underpin geographic searching wi...
James Reid