3082 search results - page 490 / 617 » Deviation Analysis: A New Use of Model Checking |
198
click to vote
3DIM
2005
IEEE
15 years 12 months ago
2005
IEEE
The present paper focuses on efficient inverse rendering using a Photometric Stereo technique for realistic surfaces. The technique primarily assumes the Lambertian reflection mod...
151
click to vote
SLIP
2005
ACM
15 years 12 months ago
2005
ACM
Routability optimization has become a major concern in the physical design cycle of VLSI circuits. Due to the recent advances in VLSI technology, interconnect has become a dominan...
205
click to vote
SIAMIS
2010
15 years 1 months ago
2010
This article proposes a new method for image separation into a linear combination of morphological components. Sparsity in fixed dictionaries is used to extract the cartoon and osc...
139
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
- 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...
163
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
A powerful approach to search is to try to learn a distribution of good solutions (in particular of the dependencies between their variables) and use this distribution as a basis ...