2230 search results - page 211 / 446 » Reformulating Constraint Models Using Input Data |
139
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
121
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Single nucleotide polymorphism (SNP) based association studies aim at identifying SNPs associated with phenotypes, for example, complex diseases. The associated SNPs m...
121
click to vote
FORTE
2008
15 years 4 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
140
click to vote
ISMS
2004
Springer
15 years 8 months ago
2004
Springer
A 3D biomechanical model of the tongue is presented here. Its goal is to evaluate the speech control model. This model was designed considering three constraints: speech movement s...
130
Voted
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
In this study, we present experiences of parallelizing XPath queries using the Xalan XPath engine on shared-address space multi-core systems. For our evaluation, we consider a sce...