1189 search results - page 95 / 238 » The Quotient of an Abstract Interpretation |
109
Voted
MLMI
2004
Springer
15 years 6 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...
105
Voted
FLOPS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
196
Voted
POPL
1999
ACM
15 years 5 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
107
Voted
ROBOCUP
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Based on the design of the CS Freiburg team, which participated sucessfully in Robocup’98, we developed a new team of robotic soccer players. While the hardware compone...