Sciweavers

2230 search results - page 92 / 446
» Reformulating Constraint Models Using Input Data
Sort
View
ICST
2010
IEEE
14 years 7 months ago
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
Sergio Segura, Robert M. Hierons, David Benavides,...
DEXAW
1995
IEEE
93views Database» more  DEXAW 1995»
15 years 1 months ago
Meta Modeling for End User Computing
Inherent constraints play an important role in the semantic Xplain model. These constraints enable us to represent certain real world knowledge once for subsequent use in several ...
J. H. ter Bekke
CONSTRAINTS
2008
182views more  CONSTRAINTS 2008»
14 years 9 months ago
Constraint Programming in Structural Bioinformatics
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
Pedro Barahona, Ludwig Krippahl
DKE
2007
130views more  DKE 2007»
14 years 9 months ago
Enabling access-privacy for random walk based data analysis applications
Random walk graph and Markov chain based models are used heavily in many data and system analysis domains, including web, bioinformatics, and queuing. These models enable the desc...
Ping Lin, K. Selçuk Candan
JCNS
2007
43views more  JCNS 2007»
14 years 9 months ago
Using extracellular action potential recordings to constrain compartmental models
Abstract We investigate the use of extracellular action potential (EAP) recordings for biophysically faithful compartmental models. We ask whether constraining a model to fit the ...
Carl Gold, Darrell A. Henze, Christof Koch