1101 search results - page 162 / 221 » Forcing in proof theory |
153
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
Video segmentation is among the most important challenges of video processing and compression (MPEG-4 and MPEG-7). A drawback of classical methods is the computational cost due to...
161
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
157
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
163
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In telepresence and teleaction systems the haptic communication channel plays a central role. As it closes a global control loop any introduced communication delay possibly destab...
139
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present a novel framework for computing the steady turning motion of a robotic fish undergoing periodic body and/or tail deformation. Taking the turning radiu...