Sciweavers

2735 search results - page 285 / 547
» Comparing notions of randomness
Sort
View
FLAIRS
2008
14 years 1 months ago
Tractable Class of a Problem of Goal Satisfaction in Mutual Exclusion Network
In this paper we describe a class of a problem of goal satisfaction in mutual exclusion network that can be solved in polynomial time. This problem provides a common basis for rea...
Pavel Surynek
ARCS
2008
Springer
14 years 1 months ago
Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks
Application details uncertain at design time as well as tolerance against permanent resource defects demand flexibility and redundancy. In this context, we present a strategy for p...
Thilo Streichert, Michael Glaß, Rolf Wanka, ...
BROADCOM
2008
IEEE
14 years 1 months ago
Tree Based Flooding Protocol for Multi-hop Wireless Networks
In this paper we propose and analyze an efficient flooding technique for static multi-hop wireless networks. The protocol builds up a routing tree that connects all network nodes....
Raphael Frank, Thomas Scherer, Thomas Engel
ECAI
2008
Springer
14 years 24 days ago
Justification-Based Non-Clausal Local Search for SAT
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...
ESTIMEDIA
2008
Springer
14 years 24 days ago
Parallelization of belief propagation method on embedded multicore processors for stereo vision
Markov random field models provide a robust formulation of low-level vision problems. Among the problems, stereo vision remains the most investigated field. The belief propagation...
Chi-Hua Lai, Kun-Yuan Hsieh, Shang-Hon Lai, Jenq K...