488 search results - page 75 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
97
Voted
GECCO
2010
Springer
14 years 11 months ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
AGENTS
2001
Springer
15 years 3 months ago
2001
Springer
This paper describes a completely implemented, fully autonomous software system for soccer playing quadruped robots. The system includes real-time color vision, probabilistic loca...
110
click to vote
KDD
2008
ACM
15 years 11 months ago
2008
ACM
We present an approach to reconstructing chemical reaction networks from time series measurements of the concentrations of the molecules involved. Our solution strategy combines t...
SIGIR
2000
ACM
15 years 3 months ago
2000
ACM
Abstract We introduce OCELOT, a prototype system for automatically generating the “gist” of a web page by summarizing it. Although most text summarization research to date has ...
68
Voted
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
This paper investigates the problem of estimating the value of probabilistic parameters needed for decision making in environments in which an agent, operating within a multi-agen...