1724 search results - page 120 / 345 » Abstract Interpreters for Free |
194
click to vote
TCBB
2011
15 years 1 months ago
2011
Stochastic models such as hidden Markov models or stochastic context free grammars can fail to return the correct, maximum likelihood solution in the case of semantic ambiguity. T...
176
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
214
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
198
click to vote
PDPTA
2007
15 years 7 months ago
2007
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
182
click to vote
AAAI
2012
13 years 8 months ago
2012
Pre-symptomatic drought stress prediction is of great relevance in precision plant protection, ultimately helping to meet the challenge of “How to feed a hungry world?”. Unfor...