13734 search results - page 144 / 2747 » Abstractions of data types |
135
click to vote
LISP
2008
15 years 3 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
137
Voted
FORTE
2009
15 years 1 months ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
127
click to vote
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...
135
Voted
MIRAGE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we describe a method for re-mapping animation parameters between multiple types of facial model for performance driven animation. A facial performance can b...
123
click to vote
PRICAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...