Sciweavers

6568 search results - page 1022 / 1314
» Reducing the Complexity of Reductions
Sort
View
ICIAR
2009
Springer
16 years 1 months ago
Interactive Image Segmentation Based on Hierarchical Graph-Cut Optimization with Generic Shape Prior
Abstract. A new algorithm for interactive image segmentation is proposed. Besides the traditional appearance and gradient information, a new Generic Shape Prior (GSP) knowledge whi...
Chen Liu, Fengxia Li, Yan Zhang, Haiyang Gu
ISVC
2009
Springer
16 years 1 months ago
High-Quality Rendering of Varying Isosurfaces with Cubic Trivariate C1-Continuous Splines
Smooth trivariate splines on uniform tetrahedral partitions are well suited for high-quality visualization of isosurfaces from scalar volumetric data. We propose a novel rendering ...
Thomas Kalbe, Thomas Koch, Michael Goesele
MIDDLEWARE
2009
Springer
16 years 1 months ago
Why Do Upgrades Fail and What Can We Do about It?
Abstract. Enterprise-system upgrades are unreliable and often produce downtime or data-loss. Errors in the upgrade procedure, such as broken dependencies, constitute the leading ca...
Tudor Dumitras, Priya Narasimhan
MIG
2009
Springer
16 years 1 months ago
Integrated Analytic and Linearized Inverse Kinematics for Precise Full Body Interactions
Abstract. Despite the large success of games grounded on movement-based interactions the current state of full body motion capture technologies still prevents the exploitation of p...
Ronan Boulic, Daniel Raunhardt
MODELS
2009
Springer
16 years 1 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
« Prev « First page 1022 / 1314 Last » Next »