Sciweavers

1003 search results - page 93 / 201
» A modeling approach and reference models for the analysis of...
Sort
View
UAI
2008
13 years 9 months ago
Causal discovery of linear acyclic models with arbitrary distributions
An important task in data analysis is the discovery of causal relationships between observed variables. For continuous-valued data, linear acyclic causal models are commonly used ...
Patrik O. Hoyer, Aapo Hyvärinen, Richard Sche...
SCAM
2003
IEEE
14 years 1 months ago
Managing Multi-Billion Dollar IT Budgets using Source Code Analysis
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of th...
Chris Verhoef
FMAM
2010
157views Formal Methods» more  FMAM 2010»
13 years 5 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
FM
2003
Springer
115views Formal Methods» more  FM 2003»
14 years 1 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
ICIP
2007
IEEE
14 years 9 months ago
Local or Global 3D Face and Facial Feature Tracker
We present in this paper a solution for 3D face and facial feature tracking using canonical correlation analysis and a 3D geometric model. This model is controlled with 17 paramet...
Franck Davoine, José Alonso Ybá&ntil...