Sciweavers

10458 search results - page 1863 / 2092
» Modeling Features at Runtime
Sort
View
CONCUR
2001
Springer
15 years 7 months ago
Symbolic Computation of Maximal Probabilistic Reachability
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
88
Voted
ECAL
2001
Springer
15 years 7 months ago
Symbiotic Composition and Evolvability
Several of the Major Transitions in natural evolution, such as the symbiogenic origin of eukaryotes from prokaryotes, share the feature that existing entities became the components...
Richard A. Watson, Jordan B. Pollack
129
Voted
SIGGRAPH
2010
ACM
15 years 6 months ago
Discrete scale axis representations for 3D geometry
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...
Balint Miklos, Joachim Giesen, Mark Pauly
OOPSLA
2001
Springer
15 years 6 months ago
Portable Resource Control in Java: The J-SEAL2 Approach
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
Walter Binder, Jarle Hulaas, Alex Villazón
132
Voted
PCM
2001
Springer
139views Multimedia» more  PCM 2001»
15 years 6 months ago
Fast and Robust Sprite Generation for MPEG-4 Video Coding
This paper presents a fast and robust sprite generation algorithm for MPEG-4 video coding. Our contributions consist of two aspects. Firstly, a fast and robust Global Motion Estima...
Yan Lu, Wen Gao, Feng Wu
« Prev « First page 1863 / 2092 Last » Next »