607 search results - page 1 / 122 » A Framework for Dynamic Constraint Reasoning using Procedura... |
ECAI
2000
Springer
13 years 9 months ago
2000
Springer
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
VLSM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Many problems in image analysis and computer vision involving boundaries and regions can be cast in a variational formulation. This means that m-surfaces, e.g. curves and...
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
ICLP
2010
Springer
13 years 3 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
BIOSTEC
2008
13 years 6 months ago
2008
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...