955 search results - page 151 / 191 » A System for Solving Constraint Satisfaction Problems with S... |
103
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...
98
Voted
CCE
2004
15 years 1 months ago
2004
Multiproduct pipelines permit to transport large volumes of a wide range of refined petroleum products from major supply sources to distribution centers near market areas. Batches...
125
click to vote
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
131
click to vote
PPDP
2010
Springer
15 years 8 days ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
90
Voted
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Medical robotics is a field where dedicated mechanisms have an increasing importance. The strong operating room constraints, both medical and practical, lead to heavil...