2774 search results - page 386 / 555 » Query-Driven Program Testing |
ADAEUROPE
2007
Springer
13 years 11 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
ICAISC
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Multigame playing agents are programs capable of autonomously learning to play new, previously unknown games. In this paper, we concentrate on the General Game Playing Co...
EUROPAR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. A parallel Lattice Boltzmann Method (pLBM), which is based on hierarchical spatial decomposition, is designed to perform large-scale flow simulations. The algorithm uses ...
BIOCOMP
2008
13 years 10 months ago
2008
ct The enrichment and recall of known inhibitors in a virtual screen are correlated with the probability of finding effective inhibitors through this process. In practice, a large ...
EMNLP
2008
13 years 10 months ago
2008
In this paper, we present an algorithm for learning a generative model of natural language sentences together with their formal meaning representations with hierarchical structure...