911 search results - page 161 / 183 » Combining programs and state machines |
139
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Reinforcement learning (RL) algorithms have long been promising methods for enabling an autonomous robot to improve its behavior on sequential decision-making tasks. The obviou...
132
Voted
IPL
2010
15 years 25 days ago
2010
cally Refining Abstract Interpretations Bhargav S. Gulavani1 , Supratik Chakraborty1 , Aditya V. Nori2 , and Sriram K. Rajamani2 1 IIT Bombay 2 Microsoft Research India Abstract. A...
120
Voted
CEC
2010
IEEE
15 years 9 days ago
2010
IEEE
TestFul is a novel evolutionary testing approach for object-oriented programs with complex internal states. In our preliminary experiments, it already outperformed some of the well...
179
Voted
JSC
2010
14 years 10 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
141
Voted
BMCBI
2006
2006
Analysis of optimal phenotypic space using elementary modes as applied to Corynebacterium glutamicum
15 years 3 months ago
Background: Quantification of the metabolic network of an organism offers insights into possible ways of developing mutant strain for better productivity of an extracellular metab...