9067 search results - page 1564 / 1814 » Adaptive Model Checking |
202
click to vote
TMI
2011
15 years 2 months ago
2011
Abstract—Optical Coherence Tomography (OCT) is a noninvasive, depth-resolved imaging modality that has become a prominent ophthalmic diagnostic technique. We present a semiautoma...
191
click to vote
IEEEHPCS
2010
15 years 1 months ago
2010
Robust lossless data hiding (LDH) methods have attracted more and more attentions for copyright protection of multimedia in lossy environment. One of the important requirements of...
333
click to vote
PAMI
2010
15 years 1 months ago
2010
Abstract--The capacity for realtime synchronization and coordination is a common ability among trained musicians performing a music score that presents an interesting challenge for...
259
click to vote
SIGMOBILE
2010
15 years 1 months ago
2010
We propose a non-persistent indoor localization system using a self-organizing reference grid of autonomous robot systems. The key idea is to continuously maintain accurate relati...
183
Voted
TIFS
2010
15 years 1 months ago
2010
Recently developed video editing techniques have enabled us to create realistic synthesized videos. Therefore, using video data as evidence in places such as courts of law requires...