1003 search results - page 95 / 201 » It's life Jim, but not as we know it! |
104
click to vote
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
123
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abo...
126
click to vote
SCALESPACE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We introduce a novel implicit approach for surface patch segmentation in 3D images starting from a single point. Since the boundary surface of an object is locally homeom...
110
click to vote
STOC
1999
ACM
15 years 5 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
COCOON
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we generalize the Ski-Rental Problem to the Bahncard Problem which is an online problem of practical relevance for all travelers. The Bahncard is a railway pass of t...