2042 search results - page 189 / 409 » Automatic Understanding of Signals |
133
Voted
IVA
2007
Springer
15 years 10 months ago
2007
Springer
Just like humans, conversational computer systems should not listen silently to their input and then respond. Instead, they should enforce the speaker-listener link by attending ac...
149
click to vote
UIC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Context-aware systems incorporate multimodal information to analyze contextual information in users’ environment and provide various proactive services according to dyn...
126
Voted
GLVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
139
Voted
PADL
2005
Springer
15 years 9 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
149
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...