9067 search results - page 678 / 1814 » Adaptive Model Checking |
199
click to vote
VR
2003
IEEE
16 years 21 days ago
2003
IEEE
Bone dissection is an important component of many surgical procedures. In this paper, we discuss adaptive techniques for providing real-time haptic and visual feedback during a vi...
187
click to vote
ACNS
2010
Springer
16 years 8 days ago
2010
Springer
Most side-channel attacks that have been published in the open literature assume known- or chosen-message adversarial scenarios. In this paper, we analyze the increase of the attac...
319
click to vote
AMT
2001
Springer
15 years 12 months ago
2001
Springer
In the field of guided learning on the Internet we present, in this paper, an interactive tool for designing intelligent tutoring systems on the web. Our tool makes easier the crea...
231
click to vote
CA
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper presents an adaptive technique to animate deformable bodies in real-time. In contrast to most previous work, we introduce a multi-resolution model that locally refines...
180
Voted
ISCC
2000
IEEE
15 years 12 months ago
2000
IEEE
In thispaper we present an adaptive technique that combines forward error correction (FEC) with channel state estimation (CSE)and automatic repeat request (ARQ)for packet loss rec...