97 search results - page 7 / 20 » Interpreting dreams of abstract machines |
182
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
ECML
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We study discriminative joint density models, that is, generative models for the joint density p(c, x) learned by maximizing a discriminative cost function, the condition...
MLMI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper presents a framework for corpus based multimodal research. Part of this framework is applied in the context of meeting modelling. A generic model for differen...
116
click to vote
ICFP
2012
ACM
13 years 1 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
JUCS
2006
14 years 10 months ago
2006
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...