Sciweavers

921 search results - page 97 / 185
» An Anthropometric Face Model Using Variational Techniques
Sort
View
CAV
2010
Springer
227views Hardware» more  CAV 2010»
14 years 7 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
EMMCVPR
2005
Springer
15 years 3 months ago
Energy Minimization Based Segmentation and Denoising Using a Multilayer Level Set Approach
This paper is devoted to piecewise-constant segmentation of images using a curve evolution approach in a variational formulation. The problem to be solved is also called the minima...
Ginmo Chung, Luminita A. Vese
BPM
2006
Springer
117views Business» more  BPM 2006»
15 years 1 months ago
Web Service E-Contract Establishment Using Features
Electronic contracts describe inter-organizational business processes in terms of supply and consumption of electronic services (commonly Web services). In a given contract domain,...
Marcelo Fantinato, Itana Maria de Souza Gimenes, M...
SIGPRO
2011
229views Hardware» more  SIGPRO 2011»
14 years 4 months ago
Fast and exact synthesis of stationary multivariate Gaussian time series using circulant embedding
A fast and exact procedure for the numerical synthesis of stationary multivariate Gaussian time series with a priori prescribed and well controlled autoand cross-covariance functi...
Hannes Helgason, Vladas Pipiras, Patrice Abry
ASPDAC
2012
ACM
238views Hardware» more  ASPDAC 2012»
13 years 5 months ago
Design for manufacturability and reliability for TSV-based 3D ICs
—The 3D IC integration using through-silicon-vias (TSV) has gained tremendous momentum recently for industry adoption. However, as TSV involves disruptive manufacturing technolog...
David Z. Pan, Sung Kyu Lim, Krit Athikulwongse, Mo...