Sciweavers

3220 search results - page 412 / 644
» Constrained Graph Processes
Sort
View
PG
2002
IEEE
15 years 11 months ago
An Efficient Brush Model for Physically-Based 3D Painting
Figure 1: Calligraphy made with our system This paper presents a novel 3D brush model consisting of a skeleton and a surface, which is deformed through constrained energy minimiza...
Nelson Siu-Hang Chu, Chiew-Lan Tai
AIME
2001
Springer
15 years 11 months ago
Dynamic Adaptation of Cooperative Agents for MRI Brain Scans Segmentation
To cope with the difficulty of MRI brain scans automatic segmentation, we need to constrain and control the selection and the adjustment of processing tools depending on the local ...
Nathalie Richard, Michel Dojat, Catherine Garbay
HYBRID
2001
Springer
15 years 11 months ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...
ICALP
2001
Springer
15 years 11 months ago
Hidden Pattern Statistics
Abstract. We consider the sequence comparison problem, also known as “hidden pattern” problem, where one searches for a given subsequence in a text (rather than a string unders...
Philippe Flajolet, Yves Guivarc'h, Wojciech Szpank...
SIGCOMM
2000
ACM
15 years 11 months ago
Endpoint admission control: Architectural issues and performance
The traditional approach to implementing admission control, as exemplified by the Integrated Services proposal in the IETF, uses a signalling protocol to establish reservations a...
Lee Breslau, Edward W. Knightly, Scott Shenker, Io...