360 search results - page 46 / 72 » A Method for the Verification of Haptic Algorithms |
MVA
1992
14 years 11 months ago
1992
This paper describes a method to perform distance measurements inside buildings using a single video camera mounted on a mobile robot. This algorithm is designed specifically to c...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
: Making a product conform to the functional requirements indicated by the customer suppose to be able to manage the manufacturing process chosen to realise the parts. A simulation...
65
Voted
TODAES
2008
14 years 9 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
DAC
2008
ACM
15 years 11 months ago
2008
ACM
This paper presents a new type of sequential technology independent synthesis. Building on the previous notions of combinational observability and sequential equivalence, sequenti...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...