158 search results - page 25 / 32 » High-Level Modeling and Analysis of TCAS |
VLSISP
2010
13 years 4 months ago
2010
A common approach to extract phonemes of sign language is to use an unsupervised clustering algorithm to group the sign segments. However, simple clustering algorithms based on dis...
IBPRIA
2005
Springer
14 years 3 months ago
2005
Springer
Sign language recognition constitutes a challenging field of research in computer vision. Common problems like overlap, ambiguities, and minimal pairs occur frequently and require...
DAC
2009
ACM
14 years 2 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
ACMSE
2009
ACM
14 years 1 months ago
2009
ACM
The convergence of various multimedia communications that includes voice, video and data presents many opportunities for enabling unified communication but paradoxically leads to ...
AAAI
2004
13 years 11 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...