Sciweavers

2635 search results - page 311 / 527
» Computing multihomogeneous resultants using straight-line pr...
Sort
View
ICCV
2009
IEEE
13 years 8 months ago
Realtime background subtraction from dynamic scenes
This paper examines the problem of moving object detection. More precisely, it addresses the difficult scenarios where background scene textures in the video might change over tim...
Li Cheng, Minglun Gong
EUROSYS
2011
ACM
13 years 1 months ago
Symbolic crosschecking of floating-point and SIMD code
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
Peter Collingbourne, Cristian Cadar, Paul H. J. Ke...
HCI
2011
13 years 1 months ago
Body Buddies: Social Signaling through Puppeteering
While virtual worlds have evolved to provide a good medium for social communication, they are very primitive in their social and affective communication design. The social communic...
Magy Seif El-Nasr, Katherine Isbister, Jeffery Ven...
CHI
2010
ACM
13 years 7 months ago
Expressive robots in education: varying the degree of social supportive behavior of a robotic tutor
Teaching is inherently a social interaction between teacher and student. Despite this knowledge, many educational tools, such as vocabulary training programs, still model the inte...
Martin Saerbeck, Tom Schut, Christoph Bartneck, Ma...
CVPR
2011
IEEE
13 years 6 months ago
Branch and Track
We present a new paradigm for tracking objects in video in the presence of other similar objects. This branch-andtrack paradigm is also useful in the absence of motion, for the di...
Steve Gu, Carlo Tomasi