Sciweavers

1390 search results - page 4 / 278
» Computing the depth of a flat
Sort
View
CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 9 months ago
A General Notion of Useful Information
In this paper we introduce a general framework for defining the depth of a sequence with respect to a class of observers. We show that our general framework captures all depth not...
Philippe Moser
FSTTCS
2010
Springer
13 years 5 months ago
Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems
Uniqueness of normal forms (UN= ) is an important property of term rewrite systems. UN= is decidable for ground (i.e., variable-free) systems and undecidable in general. Recently ...
Nicholas Radcliffe, Rakesh M. Verma
CHI
2002
ACM
14 years 7 months ago
Evaluating the effectiveness of spatial memory in 2D and 3D physical and virtual environments
User interfaces can improve task performance by exploiting the powerful human capabilities for spatial cognition. This opportunity has been demonstrated by many prior experiments....
Andy Cockburn, Bruce J. McKenzie
CHI
1995
ACM
13 years 11 months ago
A Virtual Window on Media Space
The Virtual Window system uses head movements in a local office to control camera movement in a remote office. The result is like a window allowing exploration of remote scenes ra...
William W. Gaver, Gerda Smets, Kees Overbeeke