1301 search results - page 84 / 261 » Specifications via Realizability |
109
Voted
BIOSYSTEMS
2007
15 years 3 months ago
2007
The computational process is based on the activity linking mathematical equations to a materialized physical world. It consumes energy which lower limit is defined by the set of ...
113
Voted
SIGMOD
2008
ACM
15 years 3 months ago
2008
ACM
In fall of 2004, we met Jim Gray and began to converse about the data needs of ocean scientists. The conversations ultimately led to the development of a unique portal for explori...
150
Voted
ICUMT
2009
15 years 1 months ago
2009
Abstract-- Many peer-to-peer-based virtual environment (P2PVE) solutions have been proposed recently to improve the scalability of distributed virtual environment (VE) systems. By ...
126
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Traditional binary hypothesis testing relies on the precise knowledge of the probability density of an observed random vector conditioned on each hypothesis. However, for many app...
106
Voted
AAAI
2010
15 years 5 months ago
2010
The Gibbard-Satterthwaite Theorem asserts that any reasonable voting rule cannot be strategyproof. A large body of research in AI deals with circumventing this theorem via computa...