5945 search results - page 137 / 1189 » A Model for Projection and Action |
ICCV
2005
IEEE
14 years 2 months ago
2005
IEEE
Photometric stereo is a fundamental approach in Computer Vision. At its core lies a set of image irradiance equations each taken with a different illumination. The vast majority o...
DAC
1996
ACM
14 years 1 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
AAAI
2010
13 years 10 months ago
2010
The selection of the action to do next is one of the central problems faced by autonomous agents. In AI, three approaches have been used to address this problem: the programming-b...
FMCO
2007
Springer
14 years 3 months ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
CSCWD
2008
Springer
13 years 11 months ago
2008
Springer
One of the main objectives in engineering departments of large industries is the implementation of integrated information systems to manage their projects' life cycle. EnViro...