Sciweavers

1660 search results - page 168 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
PKDD
2000
Springer
108views Data Mining» more  PKDD 2000»
15 years 1 months ago
Application of Reinforcement Learning to Electrical Power System Closed-Loop Emergency Control
This paper investigates the use of reinforcement learning in electric power system emergency control. The approach consists of using numerical simulations together with on-policy M...
Christophe Druet, Damien Ernst, Louis Wehenkel
LICS
2003
IEEE
15 years 3 months ago
New Directions in Instantiation-Based Theorem Proving
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
Harald Ganzinger, Konstantin Korovin
DAGM
2004
Springer
15 years 3 months ago
Silhouette Based Human Motion Estimation
This paper proposes a system for model based human motion estimation. We start with a human model generation system, which uses a set of input images to automatically generate a f...
Bodo Rosenhahn, Reinhard Klette, Gerald Sommer
PREMI
2005
Springer
15 years 3 months ago
Hybrid Hierarchical Learning from Dynamic Scenes
The work proposes a hierarchical architecture for learning amic scenes at various levels of knowledge abstraction. The raw visual information is processed at different stages to g...
Prithwijit Guha, Pradeep Vaghela, Pabitra Mitra, K...
AIPS
1994
14 years 11 months ago
Probabilistic Planning with Information Gathering and Contingent Execution
MostAI representations and algorithms for plan generation havenot included the concept of informationproducingactions (also called diagnostics, or tests, in the decision making li...
Denise Draper, Steve Hanks, Daniel S. Weld