Sciweavers

2192 search results - page 184 / 439
» Embedded function composition
Sort
View
ICIP
2006
IEEE
16 years 2 months ago
A Partition Constrained Minimization Scheme for Efficient Multiphase Level Set Image Segmentation
This study investigates a new multiphase minimization scheme which embeds a simple, efficient partition constraint directly in multiple level set evolution. Starting from an arbit...
Ismail Ben Ayed, Amar Mitiche
104
Voted
ICASSP
2009
IEEE
15 years 7 months ago
Reconstruction of isometrically deformable flat surfaces in 3D from multiple camera images
This paper deals with the reconstruction of smooth, flexible, isometrically embedded flat surfaces in 3D, such as a sheet of paper or a flag waving in the wind, from a set of 2...
Ricardo Ferreira, João Xavier, João ...
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
15 years 6 months ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring
111
Voted
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
15 years 6 months ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
117
Voted
ICRE
1998
IEEE
15 years 5 months ago
Validating Requirements for Fault Tolerant Systems using Model Checking
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
Francis Schneider, Steve M. Easterbrook, John R. C...