4814 search results - page 198 / 963 » Combining abstract interpreters |
220
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...
264
click to vote
CALCO
2011
Springer
14 years 7 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...
132
click to vote
IVA
2007
Springer
16 years 1 months 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...
210
click to vote
BMCBI
2006
15 years 7 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...
221
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...