6960 search results - page 263 / 1392 » Continuity Analysis of Programs |
130
Voted
POPL
2011
ACM
14 years 6 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
118
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...
115
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Given the limitation of hearing and understanding speech for many individuals, we plan to supplement the sound of speech and speechreading with an additional informative visual in...
156
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
147
click to vote
MM
2000
ACM
15 years 8 months ago
2000
ACM
In highly interactive multimedia applications startup latency is significant, and may negatively impact performance and Quality of Service (QoS). To avoid this, our approach is t...