973 search results - page 88 / 195 » Usability: not as we know it! |
159
click to vote
FSTTCS
2005
Springer
15 years 11 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...
184
click to vote
KR
2004
Springer
15 years 11 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...
183
click to vote
SCALESPACE
2009
Springer
15 years 10 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...
167
click to vote
STOC
1999
ACM
15 years 10 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 ...
138
click to vote
COCOON
1998
Springer
15 years 10 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...