5263 search results - page 20 / 1053 » Open Constraint Optimization |
231
Voted
POPL
2002
ACM
16 years 4 months ago
2002
ACM
We investigate the first-order theory of subtyping constraints. We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where a...
96
Voted
CP
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a new approach for solving disjunctive temporal problems such as the open shop and job shop scheduling domains. Much previous research in systematic search app...
162
Voted
CONSTRAINTS
2010
15 years 1 months ago
2010
This paper considers constraint propagation methods for continuous constraint satisfaction problems consisting of linear and quadratic constraints. All methods can be applied after...
127
Voted
MICCAI
2009
Springer
16 years 4 months ago
2009
Springer
We introduce a novel algorithm for actin filament tracking and elongation measurement. Particle Filters (PF) and Stretching Open Active Contours (SOAC) work cooperatively to simpli...
135
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Checkpointing is a commonly used approach to provide fault-tolerance and improve system dependability. However, using a constant and preconfigured checkpointing frequency may comp...