4814 search results - page 198 / 963 » Combining abstract interpreters |
201
click to vote
FUIN
2010
15 years 5 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
246
click to vote
CALCO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
120
click to vote
IVA
2007
Springer
16 years 19 days ago
2007
Springer
Embodied conversational agents should be able to provide feedback on what a human interlocutor is saying. We are compiling a list of facial feedback expressions that signal attenti...
189
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The incorporation of statistical models that account for experimental variability provides a necessary framework for the interpretation of microarray data. A robust ex...
192
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...