549 search results - page 82 / 110 » Verification condition generation for conditional informatio... |
89
Voted
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...
108
click to vote
PCI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The advances in wireless communications along with the exponential growth of transistors per integrated circuit lead to a rapid evolution of Wireless Sensor Devices (WSDs...
130
Voted
3DPVT
2004
IEEE
15 years 4 months ago
2004
IEEE
An appearance-based face authentication system integrating 2D color or intensity images and 3D data is presented in this paper. The proposed system is based on a low-cost 3D and c...
DELTA
2004
IEEE
15 years 4 months ago
2004
IEEE
Manufacturing test of chips made of multiple IP cores requires different techniques if ATE is used. As scan chains are commonly used as access paths to the DUT, ATE architectures ...
89
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we introduce NUBIA, a middleware that combines, through business rules, information generated by heterogeneous and autonomous systems. Communication between NUBIA and...