Sciweavers

7117 search results - page 59 / 1424
» IT Governance Frameworks as Methods
Sort
View
ICSEA
2009
IEEE
15 years 1 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
AUTOMATICA
2005
89views more  AUTOMATICA 2005»
15 years 4 months ago
Instrumental variable methods for closed-loop system identification
In this paper, several instrumental variable (IV) and instrumental variable-related methods for closed-loop system identification are considered and set in an extended IV framewor...
Marion Gilson, Paul M. J. Van den Hof
ICASSP
2011
IEEE
14 years 7 months ago
Proximal splitting methods for depth estimation
Stereo matching is an active area of research in image processing. In a recent work, a convex programming approach was developed in order to generate a dense disparity field. In ...
Mireille El Gheche, Jean-Christophe Pesquet, Jouma...
IJCV
2006
164views more  IJCV 2006»
15 years 4 months ago
Stochastic Motion and the Level Set Method in Computer Vision: Stochastic Active Contours
Based on recent work on Stochastic Partial Differential Equations (SPDEs), this paper presents a simple and well-founded method to implement the stochastic evolution of a curve. F...
Olivier Juan, Renaud Keriven, Gheorghe Postelnicu
CAISE
2005
Springer
15 years 9 months ago
A Method and Tool for Business-IT Alignment in Enterprise Architecture
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
Alain Wegmann, Pavel Balabko, Lam-Son Lê, Gi...