Sciweavers

2593 search results - page 80 / 519
» constraints 2007
Sort
View
AAAI
2007
15 years 7 months ago
Generating and Solving Logic Puzzles through Constraint Satisfaction
Solving logic puzzles has become a very popular past-time, particularly since the Sudoku puzzle started appearing in newspapers all over the world. We have developed a puzzle gene...
Barry O'Sullivan, John Horan
SCL
2008
95views more  SCL 2008»
15 years 4 months ago
Performance bounds in linear control of unstable MIMO systems with pole location constraint
This paper proposes a methodology to compute quadratic performance bounds when the closed loop poles of a discrete-time multivariable control loop are confined to a disk, centred ...
Andrés A. Peters, Mario E. Salgado, Eduardo...
NAR
2007
106views more  NAR 2007»
15 years 4 months ago
INFO-RNA - a server for fast inverse RNA folding satisfying sequence constraints
INFO-RNA is a new web server for designing RNA sequences that fold into a user given secondary structure. Furthermore, constraints on the sequence can be specified, e.g. one can r...
Anke Busch, Rolf Backofen
ESOP
2007
Springer
15 years 10 months ago
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
Maria Grazia Buscemi, Ugo Montanari
CP
2007
Springer
15 years 10 months ago
Advisors for Incremental Propagation
Abstract. While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming sys...
Mikael Z. Lagerkvist, Christian Schulte