7047 search results - page 303 / 1410 » Focusing on Binding and Computation |
161
click to vote
ASPDAC
2004
ACM
16 years 3 days ago
2004
ACM
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
148
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
190
click to vote
DGCI
2003
Springer
15 years 12 months ago
2003
Springer
We use a mathematical morphology approach to compute the surface and curve skeletons of a 3D object. We focus on the behaviour of the surface skeleton, in particular the reversibil...
165
click to vote
GW
2003
Springer
15 years 12 months ago
2003
Springer
This article presents some facts about the use of gesture in computer music, more specifically in home made instruments dedicated to performance on stage. We first give some theore...
154
click to vote
LATIN
1998
Springer
15 years 11 months ago
1998
Springer
The existence of efficient algorithms to compute the eigenvectors and eigenvalues of graphs supplies a useful tool for the design of various graph algorithms. In this survey we de...