536 search results - page 98 / 108 » Reusing Models of Different Abstraction Levels |
AIMSA
2008
Springer
14 years 4 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— This paper presents three algorithms that outperform all other published work for allocating a limited number of orthogonal frequency channels to access points (APs) in...
QEST
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
SIGGRAPH
2010
ACM
14 years 2 months ago
2010
ACM
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
BPM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Adaptive process management systems must be able to support changes of single process instances as well as modifications at the process type level and their propagation t...