5377 search results - page 418 / 1076 » Programming Languages For Interactive Computing |
206
click to vote
ENTCS
2007
15 years 7 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
220
click to vote
AAAI
2012
13 years 10 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
188
click to vote
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
Errors are unavoidable in advanced computer vision applications such as optical character recognition, and the noise induced by these errors presents a serious challenge to downstr...
195
click to vote
ACSC
2005
IEEE
16 years 1 months ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
237
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...