729 search results - page 88 / 146 » Solving subgraph isomorphism problems with constraint progra... |
129
click to vote
SIAMSC
2010
15 years 2 months ago
2010
Abstract. A problem that arises in slice-selective magnetic resonance imaging (MRI) radiofrequency (RF) excitation pulse design is abstracted as a novel linear inverse problem with...
122
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
Constrained path problems have to do with finding paths in graphs subject to constraints. One way of constraining the graph is by enforcing reachability on nodes. For instance, i...
141
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
166
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
147
click to vote
SIAMJO
2010
15 years 2 months ago
2010
Abstract. Sequential quadratic programming (SQP) methods form a class of highly efficient algorithms for solving nonlinearly constrained optimization problems. Although second deri...