3931 search results - page 476 / 787 » Separation logic and abstraction |
187
click to vote
TIT
2008
15 years 7 months ago
2008
Abstract-- Distributed detection of information flows by timing analysis is considered. Timing measurements are subject to perturbations and the insertion of chaff noise. Moreover,...
198
click to vote
INFORMATICALT
2000
15 years 7 months ago
2000
Abstract. Color constancy is the perceived stability of the color of objects under different illuminants. Four-layer neural network for color constancy has been developed. It has s...
160
click to vote
TROB
2008
15 years 6 months ago
2008
Abstract--This paper presents a relational positioning methodology that allows to restrict totally or partially the movements of an object by specifying its allowed positions in te...
159
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
Abstract—Pervasive applications are characterized by variations in their context of execution. Their correct behavior requires continuous adaptations, accordingly to changes obse...
183
click to vote
SAB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...