1101 search results - page 162 / 221 » Forcing in proof theory |
95
Voted
ICIP
2001
IEEE
16 years 2 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...
SIGSOFT
2005
ACM
16 years 1 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...
105
Voted
WWW
2002
ACM
16 years 1 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...
95
Voted
HAPTICS
2009
IEEE
15 years 7 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...
77
Voted
ICRA
2009
IEEE
15 years 7 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...