741 search results - page 56 / 149 » A Local System for Classical Logic |
ISLPED
2004
ACM
14 years 1 months ago
2004
ACM
The quadratic relationship between voltage and energy has made dynamic voltage scaling (DVS) one of the most powerful techniques to reduce system power demands. Recently, techniqu...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
Improving coding and spatial pooling for bag-of-words based feature design have gained a lot of attention in recent works addressing object recognition and scene classification. ...
ROBOCUP
2007
Springer
14 years 1 months ago
2007
Springer
In this article the classical self-localization approach is improved by estimating, independently from the robot’s pose, the robot’s odometric error and the landmarks’ poses....
CONCUR
2001
Springer
14 years 4 days ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
ENTCS
2007
13 years 7 months ago
2007
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...