Sciweavers

4372 search results - page 53 / 875
» Algorithmic Theories of Everything
Sort
View
AAAI
1998
13 years 10 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
ATAL
2005
Springer
14 years 2 months ago
Towards a theory of "local to global" in distributed multi-agent systems (II)
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...
Daniel Yamins
ISCAS
2007
IEEE
126views Hardware» more  ISCAS 2007»
14 years 3 months ago
Theory and Implementation of an Analog-to-Information Converter using Random Demodulation
— The new theory of compressive sensing enables direct analog-to-information conversion of compressible signals at subNyquist acquisition rates. We develop new theory, algorithms...
Jason N. Laska, Sami Kirolos, Marco F. Duarte, Tam...
ANOR
2008
127views more  ANOR 2008»
13 years 8 months ago
Computer science and decision theory
This paper reviews applications in computer science that decision theorists have addressed for years, discusses the requirements posed by these applications that place great strai...
Fred S. Roberts
JMLR
2010
99views more  JMLR 2010»
13 years 3 months ago
An Efficient Explanation of Individual Classifications using Game Theory
We present a general method for explaining individual predictions of classification models. The method is based on fundamental concepts from coalitional game theory and prediction...
Erik Strumbelj, Igor Kononenko