4022 search results - page 69 / 805 » Adaptive Sweeping Techniques |
CHI
2002
ACM
14 years 10 months ago
2002
ACM
Evaluating errors that result from user interactions with incar applications, it has to be considered that the user is permanently involved with driving the car. Reproducing this ...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
EWSN
2010
Springer
14 years 4 months ago
2010
Springer
Due to non-homogeneous spread of sunlight, sensing nodes typically have non-uniform energy profiles in rechargeable Wireless Sensor Networks (WSNs). An energy-aware work load dist...
COCOA
2009
Springer
14 years 4 months ago
2009
Springer
Combinatorial optimization problems have recently emerged in the design of controllers for OLED displays. The objective is to decompose an image into subframes minimizing the addre...
ICASSP
2007
IEEE
14 years 4 months ago
2007
IEEE
Perceptual image quality metrics have explicitly accounted for perceptual characteristics of the human visual system (HVS) by modeling sensitivity to subband noise as the just-not...