5090 search results - page 17 / 1018 » Constructing Strategies for Programming |
ICALP
1994
Springer
13 years 11 months ago
1994
Springer
ICFP
2007
ACM
13 years 11 months ago
2007
ACM
FPCA
1995
13 years 11 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
GPEM
2008
13 years 7 months ago
2008
In this work a cooperative, bid-based, model for problem decomposition is proposed with application to discrete action domains such as classification. This represents a significan...
WIA
2005
Springer
14 years 1 months ago
2005
Springer
The paper introduces a robust spelling correction technique to deal with ill-formed input strings, including unknown parts of unknown length. In contrast to previous works, we deri...