Sciweavers

2984 search results - page 371 / 597
» Method engineering process patterns
Sort
View
RTSS
2008
IEEE
15 years 8 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
CAIP
2007
Springer
118views Image Analysis» more  CAIP 2007»
15 years 8 months ago
Surface Reconstruction Using Polarization and Photometric Stereo
This paper presents a novel shape recovery technique that combines photometric stereo with polarization information. First, a set of ambiguous surface normals are estimated from po...
Gary Atkinson, Edwin R. Hancock
IBPRIA
2007
Springer
15 years 8 months ago
Breast Skin-Line Segmentation Using Contour Growing
This paper presents a novel methodology to obtain the breast skin line in mammographic images. The breast edge provides important information of the breast shape and deformation wh...
Robert Marti, Arnau Oliver, David Raba, Jordi Frei...
NLDB
2007
Springer
15 years 8 months ago
Large-Scale Knowledge Acquisition from Botanical Texts
Free text botanical descriptions contained in printed floras can provide a wealth of valuable scientific information. In spite of this richness, these texts have seldom been anal...
François Role, Milagros Fernandez Gavilanes...
DSD
2005
IEEE
105views Hardware» more  DSD 2005»
15 years 7 months ago
Improved Fault Emulation for Synchronous Sequential Circuits
Current paper presents new alternatives for accelerating the task of fault simulation for sequential circuits by hardware emulation on FPGA. Fault simulation is an important subta...
Jaan Raik, Peeter Ellervee, Valentin Tihhomirov, R...