511 search results - page 73 / 103 » Spelling Correction Using Context |
128
Voted
CORR
2008
Springer
15 years 18 days ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
106
Voted
BMCBI
2006
15 years 17 days ago
2006
Background: In studies that use DNA arrays to assess changes in gene expression, our goal is to evaluate the statistical significance of treatments on sets of genes. Genes can be ...
103
Voted
AI
2005
Springer
15 years 13 days ago
2005
Springer
The current research presents a system that learns to understand object names, spatial relation terms and event descriptions from observing narrated action sequences. The system e...
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
96
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— In the past, there has been a tremendous advance in the area of simultaneous localization and mapping (SLAM). However, there are relatively few approaches for incorporating pri...