2203 search results - page 210 / 441 » Temporal Abstract Interpretation |
122
click to vote
NIME
2005
Springer
15 years 9 months ago
2005
Springer
Discussion of time in interactive computer music systems engineering has been largely limited to data acquisition rates and latency. Since music is an inherently time-based medium...
122
click to vote
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Efficient methods of content characterization for the browsing, retrieval or filtering of vast amount of digital video content has become a necessity. Still, there is a gap betwee...
204
click to vote
UIST
1992
ACM
15 years 8 months ago
1992
ACM
Distributed clientisewer models are becoming increasingly prevalent in multimedia systems and advanced user interface design. A multimedia application, for example, may play and r...
125
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a practical system for vision-based traffic scene analysis from a moving vehicle based on a cognitive feedback loop which integrates real-time geometry estimati...
118
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...