360 search results - page 46 / 72 » A Method for the Verification of Haptic Algorithms |
95
Voted
MVA
1992
15 years 4 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...
110
Voted
CORR
2007
Springer
15 years 3 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...
102
Voted
TODAES
2008
15 years 2 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 ...
104
click to vote
DAC
2008
ACM
16 years 4 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...
118
Voted
ASPDAC
2007
ACM
15 years 7 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...