Sciweavers

2005 search results - page 300 / 401
» Tracking with general regression
Sort
View
MOBIHOC
2006
ACM
16 years 5 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
TLDI
2009
ACM
122views Formal Methods» more  TLDI 2009»
16 years 2 months 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
WWW
2010
ACM
16 years 26 days 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
16 years 24 days 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...
CHI
2010
ACM
16 years 22 days 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 ...