Sciweavers

2005 search results - page 300 / 401
» Tracking with general regression
Sort
View
MOBIHOC
2006
ACM
16 years 3 months ago
Adaptive splitting protocols for RFID tag collision arbitration
Tag identification is an important tool in RFID systems with applications for monitoring and tracking. A RFID reader recognizes tags through communication over a shared wireless c...
Jihoon Myung, Wonjun Lee
127
Voted
TLDI
2009
ACM
122views Formal Methods» more  TLDI 2009»
16 years 13 days ago
Towards type-theoretic semantics for transactional concurrency
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
Aleksandar Nanevski, Paul Govereau, Greg Morrisett
113
Voted
WWW
2010
ACM
15 years 10 months ago
Scalable discovery of contradictions on the web
Our study addresses the problem of large-scale contradiction detection and management, from data extracted from the Web. We describe the first systematic solution to the problem,...
Mikalai Tsytsarau, Themis Palpanas, Kerstin Deneck...
ICPR
2010
IEEE
15 years 10 months ago
Sensor Fusion for Cooperative Head Localization
—In modern video surveillance systems, pan–tilt– zoom (PTZ) cameras certainly have the potential to allow the coverage of wide areas with a much smaller number of sensors, co...
Alberto Del Bimbo, Fabrizio Dini, Giuseppe Lisanti...
105
Voted
CHI
2010
ACM
15 years 10 months ago
FeedWinnower: layering structures over collections of information streams
Information overload is a growing threat to the productivity of today’s knowledge workers, who need to keep track of multiple streams of information from various sources. RSS fe...
Lichan Hong, Gregorio Convertino, Bongwon Suh, Ed ...