2488 search results - page 359 / 498 » Distributed Non-binary Constraints |
134
Voted
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
Helmholtz Stereopsis (HS) has recently been explored as a promising technique for capturing shape of objects with unknown reflectance. So far, it has been widely applied to object...
139
Voted
APPROX
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We introduce and study the following model for routing uncertain demands through a network. We are given a capacitated multicommodity flow network with a single source an...
148
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
132
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
144
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Resource constraints are a major concern with the design, development, and deployment of embedded systems. Embedded systems are highly hardware-dependent and have little computatio...