7820 search results - page 362 / 1564 » Formalization of Time and Space |
223
click to vote
AIM
2002
15 years 7 months ago
2002
We examine the design space of auction mechanisms and identify three core activities that structure this space. Formal parameters qualifying the performance core activities enable...
158
click to vote
MM
2004
ACM
16 years 1 months ago
2004
ACM
This essay investigates the peculiar situation of a new media project which takes as its raw material the home-video archive of a deaf man gone blind. In an attempt to revive this...
204
Voted
NIPS
2007
15 years 9 months ago
2007
Point-based algorithms have been surprisingly successful in computing approximately optimal solutions for partially observable Markov decision processes (POMDPs) in high dimension...
199
Voted
CDC
2009
IEEE
16 years 9 days ago
2009
IEEE
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
162
Voted
CTCS
1989
Springer
15 years 11 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...