Sciweavers

15033 search results - page 300 / 3007
» Complexity Theory and Algorithms
Sort
View
ATAL
2004
Springer
15 years 10 months ago
Product Distribution Theory for Control of Multi-Agent Systems
Product Distribution (PD) theory is a new framework for controlling Multi-Agent Systems (MAS’s). First we review one motivation of PD theory, as the information-theoretic extens...
Chiu Fan Lee, David H. Wolpert
ICS
2010
Tsinghua U.
15 years 9 months ago
Weight Distribution and List-Decoding Size of Reed-Muller Codes
: We study the weight distribution and list-decoding size of Reed-Muller codes. Given a weight parameter, we are interested in bounding the number of Reed-Muller codewords with a w...
Tali Kaufman, Shachar Lovett, Ely Porat
133
Voted
FGR
2008
IEEE
117views Biometrics» more  FGR 2008»
15 years 11 months ago
Complex human motion estimation using visibility
This paper presents a novel algorithm for estimating complex human motion from 3D video. We base our algorithm on a model-based approach which uses a complete surface mesh of a 3D...
Tomoyuki Mukasa, Arata Miyamoto, Shohei Nobuhara, ...
PLPV
2009
ACM
16 years 1 months ago
Embedding a logical theory of constructions in Agda
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
Ana Bove, Peter Dybjer, Andrés Sicard-Ram&i...
121
Voted
CCR
2008
88views more  CCR 2008»
15 years 5 months ago
My ten favorite "practical theory" papers
As the saying goes, "In theory there is no difference between theory and practice. But, in practice, there is." Networking research has a wealth of good papers on both s...
Jennifer Rexford