1712 search results - page 287 / 343 » Abstract Constraint Data Types |
ACCV
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. In this paper we present a novel method to apply photometric stereo on textured dynamic surfaces. We aim at exploiting the high accuracy of photometric stereo and reconst...
114
Voted
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
The communication protocol IEEE 802.15.4 is becoming pervasive for low power and low data rate wireless sensor networks (WSNs) applications, including control and automation. Never...
162
click to vote
POPL
2002
ACM
15 years 11 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
120
click to vote
ICDCSW
2009
IEEE
15 years 5 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
113
Voted
LSSC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...