9067 search results - page 1650 / 1814 » Adaptive Model Checking |
176
click to vote
SIGGRAPH
2010
ACM
15 years 11 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...
158
click to vote
IFIP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
149
click to vote
MIS
2001
Springer
15 years 10 months ago
2001
Springer
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...
153
click to vote
NGC
2001
Springer
15 years 10 months ago
2001
Springer
Bi-directional shared tree is an efficient routing scheme for interactive multicast applications with multiple sources. Given the open-group IP multicast service model, it is impor...
158
click to vote
OOPSLA
2001
Springer
15 years 10 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...