Sciweavers

1938 search results - page 80 / 388
» On Positive Relational Calculi
Sort
View
CSCW
2008
ACM
13 years 9 months ago
Comparing content and input redirection in MDEs
Designers of Multi-Display Environments (MDEs) often use input redirection to allow users to manipulate content on multiple displays with a single interaction device, but users se...
James R. Wallace, Regan L. Mandryk, Kori M. Inkpen
AAAI
2000
13 years 9 months ago
The Game of Hex: An Automatic Theorem Proving Approach to Game Programming
The game of Hex is a two-player game with simple rules, a deep underlying mathematical beauty, and a strategic complexity comparable to that of Chess and Go. The massive game-tree...
Vadim V. Anshelevich
DEBU
2010
147views more  DEBU 2010»
13 years 7 months ago
Indoor - A New Data Management Frontier
Much research has been conducted on the management of outdoor moving objects. In contrast, relatively little research has been conducted on indoor moving objects. The indoor setti...
Christian S. Jensen, Hua Lu, Bin Yang 0002
CORR
2007
Springer
104views Education» more  CORR 2007»
13 years 7 months ago
Observable Graphs
An edge-colored directed graph is observable if an agent that moves along its edges is able to determine his position in the graph after a sufficiently long observation of the edge...
Raphael M. Jungers, Vincent D. Blondel
PAMI
2002
201views more  PAMI 2002»
13 years 7 months ago
ICP Registration Using Invariant Features
This paper investigates the use of Euclidean invariant features in a generalization of iterative closest point registration of range images. Pointwisecorrespondences are chosen as...
Gregory C. Sharp, Sang Wook Lee, David K. Wehe