671 search results - page 42 / 135 » Semantics Preserving Model Composition |
SIGGRAPH
2010
ACM
14 years 1 days ago
2010
ACM
This paper presents a new method for editing and retargeting motions that involve close interactions between body parts of single or multiple articulated characters, such as danci...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
AMAST
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
KI
2008
Springer
13 years 7 months ago
2008
Springer
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...