759 search results - page 117 / 152 » Test case generator for GUITAR |
LREC
2008
15 years 2 months ago
2008
This paper presents an algorithm for correcting language errors typical of second-language learners. We focus on preposition errors, which are very common among second-language le...
118
Voted
COOP
2004
15 years 2 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
101
click to vote
AIPS
2000
15 years 2 months ago
2000
Planners from the family of Graphplan (Graphplan, IPP, STAN...) are presently considered as the most efficient ones on numerous planning domains. Their partially ordered plans can...
97
Voted
ISMB
1993
15 years 2 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
101
Voted
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...