Sciweavers

2849 search results - page 146 / 570
» As We Should Have Thought
Sort
View
CORR
2011
Springer
151views Education» more  CORR 2011»
15 years 1 months ago
Temporal Probabilistic Logic Programs: State and Revision
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
Zoran Majkic
JMLR
2010
105views more  JMLR 2010»
15 years 1 months ago
When causality matters for prediction
Recent evaluations have indicated that in practice, general methods for prediction which do not account for changes in the conditional distribution of a target variable given feat...
Robert E. Tillman, Peter Spirtes
SIGOPS
2010
113views more  SIGOPS 2010»
15 years 1 months ago
Energy proportionality for storage: impact and feasibility
This paper highlights the growing importance of storage energy consumption in a typical data center, and asserts that storage energy research should drive towards a vision of ener...
Jorge Guerra, Wendy Belluomini, Joseph S. Glider, ...
MCU
2004
105views Hardware» more  MCU 2004»
15 years 7 months ago
Computational Universality in Symbolic Dynamical Systems
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blon...
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 6 months ago
Pure Type Systems without Explicit Contexts
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...
Herman Geuvers, Robbert Krebbers, James McKinna, F...