Sciweavers

784 search results - page 100 / 157
» An underlying model for defeat mechanisms
Sort
View
SAC
2010
ACM
13 years 8 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
CORR
2008
Springer
88views Education» more  CORR 2008»
13 years 8 months ago
Framework for Dynamic Evaluation of Muscle Fatigue in Manual Handling Work
- Muscle fatigue is defined as the point at which the muscle is no longer able to sustain the required force or work output level. The overexertion of muscle force and muscle fatig...
Liang Ma, Fouad Bennis, Damien Chablat, Wei Zhang
SAGT
2009
Springer
136views Game Theory» more  SAGT 2009»
14 years 3 months ago
Non-clairvoyant Scheduling Games
In a scheduling game, each player owns a job and chooses a machine to execute it. While the social cost is the maximal load over all machines (makespan), the cost (disutility) of ...
Christoph Dürr, Nguyen Kim Thang
CVPR
2006
IEEE
14 years 10 months ago
Robust Visual Tracking Using Case-Based Reasoning with Confidence
The paper describes a simple but robust framework for visual object tracking in a video sequence. Compared with the existing tracking techniques, our proposed tracking technique h...
Zhiwei Zhu, Wenhui Liao, Qiang Ji
ICCV
1999
IEEE
14 years 10 months ago
Vision in Bad Weather
Current vision systems are designed to perform in clear weather. Needless to say, in any outdoor application, there is no escape from "bad" weather. Ultimately, computer...
Shree K. Nayar, Srinivasa G. Narasimhan