Sciweavers

672 search results - page 23 / 135
» On representing variation
Sort
View
ICIP
2005
IEEE
16 years 1 months ago
A weight-adaptive dynamic model for shape segmentation
Physically based dynamic models are able to describe variable shapes without prior training. Their behaviour to find an object is intuitive, which facilitates corrections of false...
Klaus D. Tönnies, Peter Benedix
CADE
2006
Springer
16 years 2 days ago
Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...
Roy Dyckhoff, Delia Kesner, Stéphane Lengra...
ICCAD
2005
IEEE
114views Hardware» more  ICCAD 2005»
15 years 8 months ago
Statistical timing analysis with two-sided constraints
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...
Khaled R. Heloue, Farid N. Najm
ISBI
2009
IEEE
15 years 6 months ago
Reduction of Distortions in MRSI Using a New Signal Model
We propose a new reconstruction scheme for magnetic resonance spectroscopic imaging (MRSI) signal based on minimizing the spatial total variation (TV) integrated with the 1 -norm ...
Ramin Eslami, Mathews Jacob
RE
2007
Springer
15 years 5 months ago
Specifying Monitoring and Switching Problems in Context
Context-aware applications monitor changes in their operating environment and switch their behaviour to keep satisfying their requirements. Therefore, they must be equipped with th...
Mohammed Salifu, Yijun Yu, Bashar Nuseibeh