Sciweavers

3233 search results - page 142 / 647
» Validation Method for Intelligent Systems
Sort
View
139
Voted
AI
2008
Springer
15 years 3 months ago
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
Di Wu, Xenofon D. Koutsoukos
EACL
2009
ACL Anthology
16 years 4 months ago
Evaluating the Inferential Utility of Lexical-Semantic Resources
Lexical-semantic resources are used extensively for applied semantic inference, yet a clear quantitative picture of their current utility and limitations is largely missing. We pr...
Shachar Mirkin, Ido Dagan, Eyal Shnarch
MR
2007
157views Robotics» more  MR 2007»
15 years 2 months ago
Electronic prognostics - A case study using global positioning system (GPS)
– Prognostic health management (PHM) of electronic systems presents challenges traditionally viewed as either insurmountable or otherwise not worth the cost of pursuit. Recent ch...
Douglas W. Brown, Patrick W. Kalgren, Carl S. Byin...
119
Voted
GECCO
2009
Springer
123views Optimization» more  GECCO 2009»
15 years 10 months ago
Alternative voting systems in stock car racing
The National Association for Stock Car Auto Racing (NASCAR) is currently the No. 1 spectator sport in the United States. However, the manner in which drivers are ranked to determi...
Aaron Garrett, Daniel Eric Smith
141
Voted
ACAL
2009
Springer
15 years 10 months ago
Multivesicular Assemblies as Real-World Testbeds for Embryogenic Evolutionary Systems
Embryogenic evolution emulates in silico cell-like entities to get more powerful methods for complex evolutionary tasks. As simulations have to from the biological model, implicit ...
Maik Hadorn, Peter Eggenberger Hotz