20 search results - page 3 / 4 » A Game Semantics for Generic Polymorphism |
LICS
2002
IEEE
13 years 11 months ago
2002
IEEE
We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. ...
ESWS
2008
Springer
13 years 8 months ago
2008
Springer
Most of the challenges faced when building the Semantic Web require a substantial amount of human labor and intelligence. Despite significant advancement in ontology learning and h...
APLAS
2008
ACM
13 years 8 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
MIG
2009
Springer
14 years 25 days ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
OTM
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The goal of Model Management is the development of new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be perf...