3863 search results - page 747 / 773 » Function in Device Representation |
131
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
158
Voted
SIGECOM
2006
ACM
15 years 9 months ago
2006
ACM
Games may be represented in many different ways, and different representations of games affect the complexity of problems associated with games, such as finding a Nash equilib...
125
Voted
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
We wish to endow the manifold M of smooth curves in lRn with a Riemannian metric that allows us to treat continuous morphs (homotopies) between two curves c0 and c1 as trajectorie...
124
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
133
Voted
METRICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...