Sciweavers

2479 search results - page 92 / 496
» Random Event Structures
Sort
View
AAAI
2006
13 years 10 months ago
The Impact of Balancing on Problem Hardness in a Highly Structured Domain
Random problem distributions have played a key role in the study and design of algorithms for constraint satisfaction and Boolean satisfiability, as well as in our understanding o...
Carlos Ansótegui, Ramón Béjar...
TSP
2008
118views more  TSP 2008»
13 years 8 months ago
Channel-Aware Random Access Control for Distributed Estimation in Sensor Networks
A cross-layered slotted ALOHA protocol is proposed and analyzed for distributed estimation in sensor networks. Suppose that the sensors in the network record local measurements of ...
Y.-W. P. Hong, Keng-U Lei, Chong-Yung Chi
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
14 years 1 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
CORR
2010
Springer
136views Education» more  CORR 2010»
13 years 5 months ago
Comparing Prediction Market Structures, With an Application to Market Making
Ensuring sufficient liquidity is one of the key challenges for designers of prediction markets. Various market making algorithms have been proposed in the literature and deployed ...
Aseem Brahma, Sanmay Das, Malik Magdon-Ismail
JMIV
2002
122views more  JMIV 2002»
13 years 8 months ago
Markov Random Field Modeling in Median Pyramidal Transform Domain for Denoising Applications
We consider a median pyramidal transform for denoising applications. Traditional techniques of pyramidal denoising are similar to those in wavelet-based methods. In order to remove...
Ilya Gluhovsky, Vladimir P. Melnik, Ilya Shmulevic...