4099 search results - page 807 / 820 » A Framework for Interactive Proof |
NIPS
2004
14 years 11 months ago
2004
We propose a new interpretation of spiking neurons as Bayesian integrators accumulating evidence over time about events in the external world or the body, and communicating to oth...
AAAI
2000
14 years 11 months ago
2000
Recent work has demonstrated that treating resource reasoning separately from causal reasoning can lead to improved planning performance and rational resource management where inc...
117
click to vote
DAGSTUHL
1998
14 years 11 months ago
1998
Localization is one of the fundamental problems in mobile robotics. Without knowledge about their position mobile robots cannot e ciently carry out their tasks. In this paper we pr...
ECIS
2000
14 years 11 months ago
2000
- The paper discusses the role of multimedia case studies in management education basing on direct experiences derived from an on going E.U. project. Literature has analysed in dep...
ISMB
1998
14 years 11 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...