2446 search results - page 49 / 490 » First Smart Spaces |
158
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—This paper presents the definition of an integrated processor core ASIC named SCOC3 which is designed for space computers. It also presents the validation method that has led to...
125
click to vote
ACCV
1998
Springer
15 years 7 months ago
1998
Springer
Scale space is a natural way to handle multi-scale problems. Yang and Ma have considered the correspondence between scales, and proposed optical flow in the scale space. In this p...
148
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
In recent years many powerful Computer Vision algorithms have been invented, making automatic or semiautomatic solutions to many popular vision tasks, such as visual object recogn...
110
click to vote
CARDIS
2000
Springer
15 years 6 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
121
click to vote
EENERGY
2010
15 years 6 months ago
2010
Enabling a sophisticated Demand Response (DR) framework, whereby individual consumers adapt their electricity consumption in response to price variations, is a major objective of ...