1306 search results - page 175 / 262 » A Diagrammatic Approach to Model Completion |
148
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
175
click to vote
EMMCVPR
2005
Springer
15 years 12 months ago
2005
Springer
We present a novel approach to the matching of subgraphs for object recognition in computer vision. Feature similarities between object model and scene graph are complemented with ...
174
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
213
click to vote
GRAPHICSINTERFACE
2004
15 years 7 months ago
2004
In this paper, a novel hybrid algorithm is presented for the fast construction and high-quality rendering of visual hulls. We combine the strengths of two complementary hardware-a...
173
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
āModel-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...