Sciweavers

4184 search results - page 116 / 837
» Names of Our Lives
Sort
View
CODES
2008
IEEE
15 years 3 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
ACSW
2003
15 years 3 months ago
A Survey of Research on Context-Aware Homes
The seamless integration of people, devices and computation will soon become part of our daily life. Sensors, actuators, wireless networks and ubiquitous devices powered by intelli...
Sven Meyer, Andry Rakotonirainy
CVGIP
2006
138views more  CVGIP 2006»
15 years 1 months ago
Animal gaits from video: Comparative studies
We present a method for animating 3D models of animals from existing live video sequences such as wild life documentaries. Videos are first segmented into binary images on which p...
Laurent Favreau, Lionel Revéret, Christine ...
VLSISP
1998
161views more  VLSISP 1998»
15 years 1 months ago
Automatic Recognition of Human Walking in Monocular Image Sequences
Abstract. In numerous content-based video applications, it is important to extract from a video sequence a representation for humans in motion. This task is di cult, because humans...
Jia-Ching Cheng, José M. F. Moura
JUCS
2010
162views more  JUCS 2010»
15 years 3 days ago
Enabling Personal Privacy for Pervasive Computing Environments
: Protection of personal data in the Internet is already a challenge today. Users have to actively look up privacy policies of websites and decide whether they can live with the te...
Susana Alcalde Bagüés, Andreas Zeidler...