16216 search results - page 13 / 3244 » Effective Modeling with Constraints |
BMCBI
2010
14 years 9 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...
RE
2001
Springer
15 years 1 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
109
click to vote
SOCIALCOM
2010
14 years 7 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
109
click to vote
PG
1998
IEEE
15 years 1 months ago
1998
IEEE
Space deformation is an important tool in computer animation and shape design. In this paper we propose a new local deformation model based on generalized metaballs. The user spec...
AI
1998
Springer
14 years 9 months ago
1998
Springer
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state...