Sciweavers

7380 search results - page 1214 / 1476
» time 2008
Sort
View
ECAI
2008
Springer
15 years 8 months ago
Incremental Diagnosis of DES by Satisfiability
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
Alban Grastien, Anbulagan
ECAI
2008
Springer
15 years 8 months ago
Reinforcement Learning with the Use of Costly Features
In many practical reinforcement learning problems, the state space is too large to permit an exact representation of the value function, much less the time required to compute it. ...
Robby Goetschalckx, Scott Sanner, Kurt Driessens
ECAI
2008
Springer
15 years 8 months ago
WWW sits the SAT: Measuring Relational Similarity on the Web
Abstract. Measuring relational similarity between words is important in numerous natural language processing tasks such as solving analogy questions and classifying noun-modifier r...
Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuk...
ECAI
2008
Springer
15 years 8 months ago
Learning to Select Object Recognition Methods for Autonomous Mobile Robots
Selecting which algorithms should be used by a mobile robot computer vision system is a decision that is usually made a priori by the system developer, based on past experience and...
Reinaldo A. C. Bianchi, Arnau Ramisa, Ramon L&oacu...
ECAI
2008
Springer
15 years 8 months ago
A Truthful Two-Stage Mechanism for Eliciting Probabilistic Estimates with Unknown Costs
This paper reports on the design of a novel two-stage mechanism, based on strictly proper scoring rules, that motivates selfish rational agents to make a costly probabilistic estim...
Athanasios Papakonstantinou, Alex Rogers, Enrico H...
« Prev « First page 1214 / 1476 Last » Next »