4565 search results - page 215 / 913 » Time Optimal Self-Stabilizing Algorithms |
151
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Many computer vision problems can be formulated in
a Bayesian framework with Markov Random Field (MRF)
or Conditional Random Field (CRF) priors. Usually, the
model assumes that ...
105
click to vote
ACSD
2007
IEEE
15 years 2 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
96
Voted
ACMSE
2008
ACM
15 years 2 months ago
2008
ACM
In previous work, a neural network was used to increase the number of solutions found by an evolutionary multiobjective optimization algorithm. In this paper, various approaches a...
85
Voted
AINA
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we study the problem of scheduling messages between two parallel machines connected by a low latency network during a data redistribution. We compare two approaches....
93
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
The existence of non-uniform thermal gradients on the substrate in high performance IC’s can significantly impact the performance of global on-chip interconnects. This issue is...