2725 search results - page 235 / 545 » Constraint Solving for Interpolation |
159
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
168
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...
200
click to vote
GECCO
2005
Springer
16 years 22 days ago
2005
Springer
During the optimization of a constrained problem using evolutionary algorithms (EAs), an individual in the population can be described using three important properties, i.e., obje...
246
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
212
click to vote
AAAI
2007
15 years 9 months ago
2007
Consistencies are properties of Constraint Networks (CNs) that can be exploited in order to make inferences. When a significant amount of such inferences can be performed, CNs ar...