Sciweavers

225 search results - page 26 / 45
» Hybrid Modeling of Test-and-Fix Processes in Incremental Dev...
Sort
View
SAC
2003
ACM
14 years 18 days ago
Eliciting Coordination Policies from Requirements
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
Henry Muccini, Fabio Mancinelli
COMPSAC
2007
IEEE
14 years 1 months ago
Learning Parameterized State Machine Model for Integration Testing
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
Muzammil Shahbaz, Keqin Li 0002, Roland Groz
GECCO
2008
Springer
158views Optimization» more  GECCO 2008»
13 years 8 months ago
Structure and parameter estimation for cell systems biology models
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
Francisco José Romero-Campero, Hongqing Cao...
CICLING
2007
Springer
14 years 1 months ago
Finite-State Technology as a Programming Environment
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
Shuly Wintner
ICASSP
2011
IEEE
12 years 11 months ago
Covariate-dependent dictionary learning and sparse coding
A dependent hierarchical beta process (dHBP) is developed as a prior for data that may be represented in terms of a sparse set of latent features (dictionary elements), with covar...
Mingyuan Zhou, Hongxia Yang, Guillermo Sapiro, Dav...