2610 search results - page 330 / 522 » The Recognition Strategy Language |
133
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
185
click to vote
NLDB
2007
Springer
16 years 18 days ago
2007
Springer
The application of the multilingual knowledge encoded in Wikipedia to an open–domain Cross–Lingual Question Answering system based on the Inter Lingual Index (ILI) module of Eu...
166
click to vote
PADL
2007
Springer
16 years 18 days ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
151
click to vote
ITICSE
2004
ACM
15 years 12 months ago
2004
ACM
This paper examines the effect of grading approaches for SQL query formulation on students’ learning strategies. The way that students are graded in a subject has a significant ...
154
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...