81 search results - page 13 / 17 » Computing Equilibria Using Interval Constraints |
DAC
2005
ACM
14 years 8 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
AINA
2010
IEEE
14 years 17 days ago
2010
IEEE
— We consider the problem of gathering data from a sensor network using mobile elements. In particular, we consider the case where the data are produced by measurements and need ...
ICCV
2009
IEEE
15 years 13 days ago
2009
IEEE
This paper presents a method for estimating geographic
location for sequences of time-stamped photographs. A
prior distribution over travel describes the likelihood of
traveling...
IANDC
2007
13 years 7 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
IPMU
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Credal sets are closed convex sets of probability mass functions. The lower probabilities specified by a credal set for each element of the power set can be used as cons...