10055 search results - page 131 / 2011 » Structured programming using processes |
110
click to vote
EUROCAST
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
83
Voted
ACL
2006
15 years 2 months ago
2006
The Natural Language Toolkit is a suite of program modules, data sets and tutorials supporting research and teaching in computational linguistics and natural language processing. ...
212
click to vote
POPL
2007
ACM
16 years 29 days ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
100
Voted
ICA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We discuss causal structure learning based on linear structural equation models. Conventional learning methods most often assume Gaussianity and create many indistinguish...
104
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...