Sciweavers

1552 search results - page 214 / 311
» On the Complexity of Constant Propagation
Sort
View
CG
2006
Springer
15 years 6 months ago
Fast energy-based surface wrinkle modeling
This paper presents an energy-based approach that models the distinct wrinkle shapes to represent the different material properties of non-rigid objects at an interactive speed. O...
Yu Wang 0010, Charlie C. L. Wang, Matthew Ming-Fai...
JWSR
2008
147views more  JWSR 2008»
15 years 6 months ago
Karma2: Provenance Management for Data-Driven Workflows
: The increasing ability for the sciences to sense the world around us is resulting in a growing need for data driven applications that are under the control of workflows composed ...
Yogesh L. Simmhan, Beth Plale, Dennis Gannon
SIGECOM
2008
ACM
122views ECommerce» more  SIGECOM 2008»
15 years 6 months ago
On the windfall of friendship: inoculation strategies on social networks
This paper studies a virus inoculation game on social networks. A framework is presented which allows the measuring of the windfall of friendship, i.e., how much players benefit i...
Dominic Meier, Yvonne Anne Oswald, Stefan Schmid, ...
SAC
2006
ACM
15 years 6 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
SIGPRO
2008
106views more  SIGPRO 2008»
15 years 6 months ago
Propagator-based methods for recursive subspace model identification
The problem of the online identification of multi-input multi-output (MIMO) state-space models in the framework of discrete-time subspace methods is considered in this paper. Seve...
Guillaume Mercère, Laurent Bako, Sté...