955 search results - page 151 / 191 » A System for Solving Constraint Satisfaction Problems with S... |
148
Voted
HYBRID
2007
Springer
16 years 7 days 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...
147
click to vote
CCE
2004
15 years 6 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...
178
click to vote
FDL
2008
IEEE
16 years 16 days 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...
192
click to vote
PPDP
2010
Springer
15 years 4 months 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...
133
click to vote
ICRA
2006
IEEE
16 years 3 days 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...