Sciweavers

4451 search results - page 28 / 891
» On Random Ordering Constraints
Sort
View
SIAMJO
2008
93views more  SIAMJO 2008»
14 years 11 months ago
Sufficient Second-Order Optimality Conditions for Semilinear Control Problems with Pointwise State Constraints
Second-order sufficient optimality conditions are established for the optimal control of semilinear elliptic and parabolic equations with pointwise constraints on the control and t...
Eduardo Casas, Juan Carlos de los Reyes, Fredi Tr&...
CORR
2004
Springer
176views Education» more  CORR 2004»
14 years 11 months ago
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
Viktor Kuncak, Martin C. Rinard
FLAIRS
2008
15 years 2 months ago
Second-Order Risk Constraints
This paper discusses how numerically imprecise information can be modelled and how a risk evaluation process can be elaborated by integrating procedures for numerically imprecise ...
Love Ekenberg, Aron Larsson, Mats Danielson
FOCS
2008
IEEE
15 years 25 days ago
A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems
We consider random instances of constraint satisfaction problems where each variable has domain size O(1), each constraint is on O(1) variables and the constraints are chosen from...
Siu On Chan, Michael Molloy
112
Voted
PODS
2006
ACM
138views Database» more  PODS 2006»
15 years 12 months ago
Efficiently ordering subgoals with access constraints
d Abstract] Guizhen Yang Artificial Intelligence Center SRI International Menlo Park, CA 94025, USA Michael Kifer Dept. of Computer Science Stony Brook University Stony Brook, NY 1...
Guizhen Yang, Michael Kifer, Vinay K. Chaudhri