549 search results - page 81 / 110 » Verification condition generation for conditional informatio... |
103
Voted
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
In current interframe video compression systems, the encoder performs predictive coding to exploit the similarities of successive frames. The Wyner-Ziv Theorem on source coding wi...
101
Voted
DAC
2001
ACM
16 years 1 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
103
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— We describe a framework for finding and tracking “trails” for autonomous outdoor robot navigation. Through a combination of visual cues and ladar-derived structural inform...
138
click to vote
LOCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Location-based Services are emerging as popular applications in pervasive computing. Spatial k-anonymity is used in Locationbased Services to protect privacy, by hiding t...
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper we use an information flow model for placement of traffic sinks in a wireless sensor network. Our mathematical model translates a communication network composed...