2206 search results - page 108 / 442 » On the power of coercion abstraction |
IVA
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Interactive virtual worlds provide a powerful medium for experiential learning. Intelligent virtual agents can cohabit virtual worlds with people and facilitate such lear...
POPL
1994
ACM
14 years 2 months ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
ASPDAC
2007
ACM
14 years 2 months ago
2007
ACM
Abstract-- Multiprocessor designs have become popular in embedded domains for achieving the power and performance requirements. In this paper, we present principles and techniques ...
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
SOFSEM
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...