Sciweavers

600 search results - page 92 / 120
» Validated cost models for sensor network queries
Sort
View
WWW
2009
ACM
16 years 6 months ago
Unsupervised query categorization using automatically-built concept graphs
Automatic categorization of user queries is an important component of general purpose (Web) search engines, particularly for triggering rich, query-specific content and sponsored ...
Eustache Diemert, Gilles Vandelle
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 7 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
ECCV
2006
Springer
16 years 7 months ago
Simultaneous Object Pose and Velocity Computation Using a Single View from a Rolling Shutter Camera
An original concept for computing instantaneous 3D pose and 3D velocity of fast moving objects using a single view is proposed, implemented and validated. It takes advantage of the...
Omar Ait-Aider, Nicolas Andreff, Jean-Marc Lavest,...
JUCS
2010
109views more  JUCS 2010»
15 years 23 days ago
Semantics of Query-Driven Communication of Exact Values
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...
Michal Konecný, Amin Farjudian
SAC
2009
ACM
16 years 23 days ago
Diverse peer selection in collaborative web search
Effective peer selection for intelligent query routing is a challenge in collaborative peer-based Web search systems, especially unstructured networks that do not have any central...
Le-Shin Wu, Filippo Menczer