688 search results - page 61 / 138 » Types for trees |
92
Voted
ACSD
2007
IEEE
15 years 7 months ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
113
click to vote
AC
2003
Springer
15 years 6 months ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
96
Voted
ECCE
2007
15 years 4 months ago
2007
: Decision Support Systems are proliferating rapidly in many areas of human endeavour including clinical medicine and psychology. While these are typically based on rulebased syste...
127
Voted
AAAI
2007
15 years 3 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
88
Voted
PR
2006
15 years 22 days ago
2006
Acoustic events produced in controlled environments may carry information useful for perceptually aware interfaces. In this paper we focus on the problem of classifying 16 types o...