18188 search results - page 375 / 3638 » Evaluation for Collaborative Systems |
211
click to vote
MVA
2007
15 years 8 months ago
2007
In this paper we present an evaluation method for stereo matching systems and sensors especially for real world indoor applications. We estimate ground truth reference images by i...
169
click to vote
ISMVL
2007
IEEE
16 years 1 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
139
click to vote
DSN
2006
IEEE
16 years 26 days ago
2006
IEEE
As most computer systems are expected to remain operational 24 hours a day, 7 days a week, they must complete maintenance work while in operation. This work is in addition to the ...
171
click to vote
IEEEARES
2006
IEEE
16 years 25 days ago
2006
IEEE
Distributed object systems for partitionable systems present a challenge, in that there is a trade-off between availability and consistency. Changes in one partition are not visib...
173
click to vote
SIGSOFT
2003
ACM
16 years 1 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...