Sciweavers

2930 search results - page 382 / 586
» The optimal sequence compression
Sort
View
ICPADS
1998
IEEE
15 years 10 months ago
Fast Mutual Exclusion Algorithms Using Read-Modify-Write and Atomic Read/Write Registers
: Three fast mutual exclusion algorithms using read-modify-write and atomic read/write registers are presented in a sequence, with an improvement from one to the next. The last alg...
Ting-Lu Huang
ISMVL
1994
IEEE
124views Hardware» more  ISMVL 1994»
15 years 10 months ago
Approximating Propositional Calculi by Finite-Valued Logics
The problem of approximating a propositional calculus is to nd many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few...
Matthias Baaz, Richard Zach
EVOW
2010
Springer
15 years 10 months ago
On the Benefit of Sub-optimality within the Divide-and-Evolve Scheme
Divide-and-Evolve (DaE) is an original "memeticization" of Evolutionary Computation and Artificial Intelligence Planning. DaE optimizes either the number of actions, or t...
Jacques Bibai, Pierre Savéant, Marc Schoena...
AAAI
2007
15 years 9 months ago
An Ironing-Based Approach to Adaptive Online Mechanism Design in Single-Valued Domains
Online mechanism design considers the problem of sequential decision making in a multi-agent system with self-interested agents. The agent population is dynamic and each agent has...
David C. Parkes, Quang Duong
SIP
2007
15 years 8 months ago
Occlusion tracking using logic models
We present a variational PDE based model for tracking objects under occlusion. Here, prior shape information is used to segment object boundaries that are occluded. The novelty in...
J. H. von Brecht, Sheshadri R. Thiruvenkadam, Tony...