Sciweavers

2838 search results - page 192 / 568
» Verifying Controlled Components
Sort
View
IPPS
2006
IEEE
14 years 4 months ago
Compiler and runtime support for predictive control of power and cooling
The low cost of clusters built using commodity components has made it possible for many more users to purchase their own supercomputer. However, even modest-sized clusters make si...
Henry G. Dietz, William R. Dieter
CVBIA
2005
Springer
14 years 4 months ago
Active Contours Under Topology Control Genus Preserving Level Sets
We present a novel framework to exert topology control over a level set evolution. Level set methods offer several advantages over parametric active contours, in particular automat...
Florent Ségonne, Jean-Philippe Pons, W. Eri...
DSOM
2005
Springer
14 years 4 months ago
Control Considerations for Scalable Event Processing
The growth in the scale of systems and networks has created many challenges for their management, especially for event processing. Our premise is that scaling event processing requ...
Wei Xu, Joseph L. Hellerstein, Bill Kramer, David ...
ASIASIM
2004
Springer
14 years 4 months ago
Intuitive Control of Dynamic Simulation Using Improved Implicit Constraint Enforcement
Geometric constraints are imperative components of many dynamic simulation systems to effectively control the behavior of simulated objects. In this paper we present an improved fi...
Min Hong, Samuel W. J. Welch, Min-Hyung Choi
CA
2002
IEEE
14 years 3 months ago
CoArt: Co-articulation Region Analysis for Control of 2D Characters
A facial analysis-synthesis framework based on a concise set of local, independently actuated, Coarticulation Regions (CR) is presented for the control of 2D animated characters. ...
Douglas Fidaleo, Ulrich Neumann