1246 search results - page 92 / 250 » Online testing with model programs |
133
click to vote
IFIP12
2004
15 years 2 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
117
click to vote
ICMLA
2010
14 years 10 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
130
Voted
UM
2010
Springer
15 years 5 months ago
2010
Springer
Search engines are key components in the online world and the choice of search engine is an important determinant of the user experience. In this work we seek to model user behavio...
133
Voted
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
138
click to vote
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Multidimensional databases support efficiently on-line analytical processing (OLAP). In this paper, we depict a model dedicated to multidimensional databases. The approach we prese...