139 search results - page 10 / 28 » Constraint Prioritization for Efficient Analysis of Declarat... |
178
click to vote
POPL
2004
ACM
15 years 9 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
CVIU
2006
14 years 9 months ago
2006
A novel approach is proposed to analyzing and tracking the motion of structured deformable shapes, which consist of multiple correlated deformable subparts. Since this problem is ...
100
click to vote
BMCBI
2007
14 years 9 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
110
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...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
We investigate how people adapt their strategy for interleaving multiple concurrent tasks to varying objectives. A study was conducted in which participants drove a simulated vehi...