Sciweavers

1382 search results - page 148 / 277
» Strider: Configuration Modelling and Analysis of Complex Sys...
Sort
View
DAC
2006
ACM
15 years 4 months ago
Buffer memory optimization for video codec application modeled in Simulink
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
Sang-Il Han, Xavier Guerin, Soo-Ik Chae, Ahmed Ami...
CVPR
2004
IEEE
16 years 3 days ago
Fast, Integrated Person Tracking and Activity Recognition with Plan-View Templates from a Single Stereo Camera
Copyright 2004 IEEE. Published in Conference on Computer Vision and Pattern Recognition (CVPR-2004), June 27 - July 2, 2004, Washington DC. Personal use of this material is permit...
Michael Harville, Dalong Li
IMAGING
2000
14 years 11 months ago
Quantifying Mixed Adaptation in Cross-Media Color Reproduction
This paper describes an investigation undertaken to address the goal set by the CIE Technical committee TC804: "To investigate the state of adaptation of the visual system wh...
Sharron A. Henley, Mark D. Fairchild
AROBOTS
2004
131views more  AROBOTS 2004»
14 years 10 months ago
Evolving Self-Organizing Behaviors for a Swarm-Bot
In this paper, we introduce a self-assembling and self-organizing artifact, called a swarm-bot, composed of a swarm of s-bots, mobile robots with the ability to connect to and to ...
Marco Dorigo, Vito Trianni, Erol Sahin, Roderich G...
97
Voted
CASCON
2001
115views Education» more  CASCON 2001»
14 years 11 months ago
Lightweight reasoning about program correctness
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
Marsha Chechik, Wei Ding