Sciweavers

3250 search results - page 273 / 650
» An Algorithm to Solve a Linear Program
Sort
View
SAT
2007
Springer
126views Hardware» more  SAT 2007»
16 years 22 days ago
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
Fadi A. Aloul, Nagarajan Kandasamy
CIMCA
2005
IEEE
16 years 7 days ago
Rankings from Fuzzy Pairwise Comparisons
We propose a new method for deriving rankings from fuzzy pairwise comparisons. It is based on the observation that quantification of the uncertainty of the pairwise comparisons sh...
Pim van den Broek, Joost Noppen
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 6 months ago
"Real" Slepian-Wolf Codes
We provide a novel achievability proof of the Slepian-Wolf theorem for i.i.d. sources over finite alphabets. We demonstrate that random codes that are linear over the real field ac...
Bikash Kumar Dey, Sidharth Jaggi, Michael Langberg
IPL
2007
107views more  IPL 2007»
15 years 6 months ago
Flows in dynamic networks with aggregate arc capacities
Dynamic networks are characterized by transit times on edges. Dynamic flow problems consider transshipment problems in dynamic networks. We introduce a new version of dynamic fl...
Vardges Melkonian
IPL
2000
82views more  IPL 2000»
15 years 6 months ago
Estimating the number of vertices of a polyhedron
Given a polyhedron P by a list of inequalities we develop unbiased estimates of the number of vertices and bases of P. The estimates are based on applying tree estimation methods ...
David Avis, Luc Devroye