3 search results - page 1 / 1 » A Semantic Account of Type-Directed Partial Evaluation |
PPDP
1999
Springer
13 years 8 months ago
1999
Springer
ANLP
1994
13 years 5 months ago
1994
Both full-text information retrieval and large scale parsing require text preprocessing to identify strong lexical associations in textual databases. In order to associate linguis...
IFM
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...