10718 search results - page 660 / 2144 » On the Circuit Implementation Problem |
157
click to vote
TIME
2005
IEEE
16 years 1 months ago
2005
IEEE
We exploit the fact that qualitative Interval Algebra (IA) network problems are finite domain CSPs. In the first part of the paper, we show how to convert a qualitative IA network ...
194
click to vote
ICTAC
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
197
click to vote
EUROPAR
2006
Springer
15 years 11 months ago
2006
Springer
Increasingly, a number of applications across computer sciences and other science and engineering disciplines rely on, or can potentially benefit from, analysis and monitoring of d...
195
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
We consider the control of interacting subsystems whose dynamics and constraints are decoupled, but whose state vectors are coupled non-separably in a single cost function of a fi...
167
click to vote
MANSCI
2007
15 years 7 months ago
2007
Companies such as Zara and World Co. have recently implemented novel product development processes and supply chain architectures enabling them to make more product design and ass...