1712 search results - page 287 / 343 » Abstract Constraint Data Types |
144
Voted
ACCV
2010
Springer
14 years 9 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...
145
Voted
CDC
2010
IEEE
14 years 9 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...
218
Voted
POPL
2002
ACM
16 years 3 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...
157
Voted
ICDCSW
2009
IEEE
15 years 9 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 ...
148
click to vote
LSSC
2007
Springer
15 years 8 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...