9325 search results - page 376 / 1865 » The decentralized implementability problem |
128
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Software libraries rely increasingly on iterators to provide generic traversal of data structures. These iterators can be represented either as objects that maintain state or as p...
116
click to vote
TIME
2005
IEEE
15 years 10 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 ...
137
click to vote
ICTAC
2009
Springer
15 years 9 months 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...
146
click to vote
EUROPAR
2006
Springer
15 years 8 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...
135
Voted
AUTOMATICA
2006
15 years 4 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...