18090 search results - page 60 / 3618 » Computing by Only Observing |
132
Voted
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
125
Voted
BIOTECHNO
2008
IEEE
15 years 9 months ago
2008
IEEE
—Gene expression profiling in toxicogenomics is often used to find molecular signature of toxicants. The range of doses chosen in toxicogenomics studies does not always represe...
121
Voted
ICCV
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a monocular SLAM system that avoids inconsistency by coalescing observations into independent local coordinate frames, building a graph of the local frames, and optimiz...
112
Voted
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper provides a technique, based on partially observable Markov decision processes (POMDPs), for building automatic recovery controllers to guide distributed system recovery...
116
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...