631 search results - page 70 / 127 » Producing reliable software: an experiment |
ICMLA
2010
13 years 5 months ago
2010
Reinforcement learning algorithms that employ neural networks as function approximators have proven to be powerful tools for solving optimal control problems. However, their traini...
MICCAI
2010
Springer
13 years 5 months ago
2010
Springer
Quantitative magnetic resonance analysis often requires accurate, robust and reliable automatic extraction of anatomical structures. Recently, template-warping methods incorporatin...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
This paper proposes a simple “prior-free” method for solving non-rigid structure-from-motion factorization problems. Other than using the basic low-rank condition, our method ...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...