Sciweavers

1333 search results - page 132 / 267
» Uncertainty Modeling for Optimal Structure from Motion
Sort
View
MTV
2006
IEEE
138views Hardware» more  MTV 2006»
15 years 10 months ago
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
Marc Herbstritt, Bernd Becker, Christoph Scholl
AAAI
2010
15 years 6 months ago
Unsupervised Learning of Event Classes from Video
We present a method for unsupervised learning of event classes from videos in which multiple actions might occur simultaneously. It is assumed that all such activities are produce...
Muralikrishna Sridhar, Anthony G. Cohn, David C. H...
SCIA
2005
Springer
203views Image Analysis» more  SCIA 2005»
15 years 10 months ago
Automated Multiple View Inspection Based on Uncalibrated Image Sequences
The Automated Multiple View Inspection (AMVI) has been recently developed for automated defect detection of manufactured objects. The approach detects defects by analysing image se...
Domingo Mery, Miguel Carrasco
EXPERT
2011
131views more  EXPERT 2011»
14 years 8 months ago
Grid Monitoring and Market Risk Management
—With the rapid development of the electricity market, both grid and market operations need to be carefully coordinated and monitored in real time. This paper focuses on system m...
Yufan Guan, Mladen Kezunovic
AR
2002
157views more  AR 2002»
15 years 4 months ago
Acquiring state from control dynamics to learn grasping policies for robot hands
Abstract--A prominent emerging theory of sensorimotor development in biological systems proposes that control knowledge is encoded in the dynamics of physical interaction with the ...
Roderic A. Grupen, Jefferson A. Coelho Jr.