2042 search results - page 266 / 409 » Automatic Understanding of Signals |
141
click to vote
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
126
Voted
DAGM
2006
Springer
15 years 7 months ago
2006
Springer
Ultrasound images are very noisy. Along with system noise, a significant noise source is the speckle phenomenon, caused by interference in the viewed object. Most past approaches f...
149
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
In this paper we investigate activity-driven clock trees to reduce the dynamic power consumption of synchronous digital CMOS circuits. Sections of an activity-driven clock tree ca...
112
Voted
ACMDIS
2008
ACM
15 years 5 months ago
2008
ACM
Affective computing systems face challenges in relating objective measures with subjective human experiences. Many systems have either focused on objective measures as a substitut...
128
click to vote
LREC
2010
15 years 4 months ago
2010
This paper describes how heterogeneous data sources captured in the SignCom project may be used for the analysis and synthesis of French Sign Language (LSF) utterances. The captur...