Sciweavers

1887 search results - page 123 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
TASLP
2010
138views more  TASLP 2010»
14 years 9 months ago
Glimpsing IVA: A Framework for Overcomplete/Complete/Undercomplete Convolutive Source Separation
Abstract--Independent vector analysis (IVA) is a method for separating convolutedly mixed signals that significantly reduces the occurrence of the well-known permutation problem in...
Alireza Masnadi-Shirazi, Wenyi Zhang, Bhaskar D. R...
IJAR
2008
155views more  IJAR 2008»
15 years 3 months ago
Estimation of causal effects using linear non-Gaussian causal models with hidden variables
The task of estimating causal effects from non-experimental data is notoriously difficult and unreliable. Nevertheless, precisely such estimates are commonly required in many fiel...
Patrik O. Hoyer, Shohei Shimizu, Antti J. Kerminen...
JSW
2008
104views more  JSW 2008»
15 years 2 months ago
Testing Software Assets of Framework-Based Product Families During Application Engineering Stage
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...
Jehad Al-Dallal, Paul G. Sorenson
FOSSACS
2005
Springer
15 years 8 months ago
A Computational Model for Multi-variable Differential Calculus
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
Abbas Edalat, André Lieutier, Dirk Pattinso...
FASE
2010
Springer
15 years 7 months ago
Incremental Consistency Checking of Dynamic Constraints
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
Iris Groher, Alexander Reder, Alexander Egyed