2421 search results - page 207 / 485 » Integrity Assurance Technique Using Determinant Approach |
154
Voted
RE
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
226
Voted
IJCAI
1993
15 years 5 months ago
1993
This paper describes a technique whereby an autonomous agent such as a mobile robot can explore an unknown environment and make a topologicalmapofit. It is assumedthat the environ...
137
Voted
GLVLSI
2008
IEEE
15 years 3 months ago
2008
IEEE
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
137
Voted
VLDB
1998
ACM
15 years 3 months ago
1998
ACM
Abstract. In this paper, we present an image retrieval system that employs both the color and spatial information of images to facilitate the retrieval process. The basic unit used...
173
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Global motion estimation is an important task for various video processing techniques. The estimation itself has to be robust in presence of arbitrarily moving foreground objects....