973 search results - page 66 / 195 » An Integrated Self-Testing Framework for Autonomic Computing... |
122
Voted
EUROMICRO
1998
IEEE
15 years 7 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
142
click to vote
CVPR
2004
IEEE
15 years 7 months ago
2004
IEEE
Automatic image orientation detection for natural images is a useful, yet challenging research area. Humans use scene context and semantic object recognition to identify the corre...
131
Voted
WIDM
2004
ACM
15 years 9 months ago
2004
ACM
Abstract. CiteSeer began as the first search engine for scientific literature to incorporate Autonomous Citation Indexing, and has since grown to be a well-used, open archive for...
150
click to vote
IFM
2007
Springer
15 years 9 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
156
Voted
ERCIMDL
2001
Springer
15 years 8 months ago
2001
Springer
Federated digital libraries are composed of distributed, autonomous, and often heterogeneous information services but provide users with a transparent, integrated view of collected...