Sciweavers

1236 search results - page 82 / 248
» On the Hamkins approximation property
Sort
View
VLSID
2002
IEEE
83views VLSI» more  VLSID 2002»
16 years 1 months ago
Identifying Redundant Wire Replacements for Synthesis and Verification
We propose the redundancy identification of wire replacement faults. The solutions rely on the satisfiability (SAT) formulation of redundancy identification, augmented with the me...
Katarzyna Radecka, Zeljko Zilic
131
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
Fast Algorithms and Performance Bounds for Sum Rate Maximization in Wireless Networks
Abstract— Sum rate maximization by power control is an important, challenging, and extensively studied problem in wireless networks. It is a nonconvex optimization problem and ac...
Chee-Wei Tan, Mung Chiang, R. Srikant
95
Voted
LICS
2009
IEEE
15 years 7 months ago
Statistic Analysis for Probabilistic Processes
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
Michel de Rougemont, Mathieu Tracol
85
Voted
ICPR
2008
IEEE
15 years 7 months ago
Convenient reconstruction of natural plants by images
Convenient reconstruction of natural plants is a difficult task because of their intrinsic complex geometry. In this paper, we propose a convenient image-based approach to modeli...
Wei Ma, Hongbin Zha
ECML
2007
Springer
15 years 7 months ago
Bayesian Inference for Sparse Generalized Linear Models
We present a framework for efficient, accurate approximate Bayesian inference in generalized linear models (GLMs), based on the expectation propagation (EP) technique. The paramete...
Matthias Seeger, Sebastian Gerwinn, Matthias Bethg...