4211 search results - page 150 / 843 » Types as Abstract Interpretations |
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...
123
click to vote
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
136
click to vote
TACS
2001
Springer
15 years 8 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
126
Voted
LKR
2008
15 years 5 months ago
2008
Abstract. We extend an automatically generated bilingual JapaneseSwedish dictionary with new translations, automatically discovered from the multi-lingual online encyclopedia Wikip...