3823 search results - page 642 / 765 » Stability of Hybrid Systems |
140
click to vote
MM
2003
ACM
15 years 10 months ago
2003
ACM
We present an approach to video editing where movie sequences are treated as spatio-temporal volumes that can be sheered and warped under user control. This simple capability enab...
155
click to vote
SASN
2003
ACM
15 years 10 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
143
click to vote
ISBI
2002
IEEE
15 years 9 months ago
2002
IEEE
We develop noninvasive MRI techniques that quantify the permeability of the Blood-Brain Barrier (BBB). Using such gadolinium compounds as Gd-DTPA and gadomer17, changes in R1 (R1 ...
127
click to vote
ISCAS
2002
IEEE
15 years 9 months ago
2002
IEEE
Video streaming over wireless links is a non-trivial problem due to the large and frequent changes in the quality of the underlying radio channel combined with latency constraints...
150
click to vote
ACMDIS
2000
ACM
15 years 9 months ago
2000
ACM
The successful creation of telepresence and virtual environments requires a change in design paradigm. We must move away from attempts to recreate reality in its entirety toward t...