3742 search results - page 550 / 749 » On the Use of Formal Techniques for Validation |
173
click to vote
MVA
2007
15 years 8 months ago
2007
Shadow detection is critical for robust and reliable vision-based systems for traffic vision analysis. Shadow points are often misclassified as object points causing errors in loc...
188
click to vote
WSCG
2003
15 years 7 months ago
2003
This paper presents a self-calibration technique for a camera mounted on an underwater vehicle designed to perform the 3D reconstruction of underwater scenes. Our aim is to identi...
143
click to vote
IJCAI
1989
15 years 7 months ago
1989
In this paper, we investigate technical methods to deal with exceptions, inconsistencies, and ambiguity. Existing reason maintenance systems are only suitable for some of these pr...
210
click to vote
GRID
2008
Springer
15 years 6 months ago
2008
Springer
Replication is a technique used in Data Grid environments that helps to reduce access latency and network bandwidth utilization. Replication also increases data availability thereb...
176
click to vote
JIIS
2000
15 years 6 months ago
2000
Abstract. A paper document processing system is an information system component which transforms information on printed or handwritten documents into a computer-revisable form. In ...