318 search results - page 36 / 64 » Real Number Computability and Domain Theory |
CHI
2000
ACM
14 years 1 months ago
2000
ACM
This article introduces a new interaction model called Instrumental Interaction that extends and generalizes the principles of direct manipulation. It covers existing interaction ...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
As opposed to finite domain CSPs, arc consistency cannot be enforced, in general, on CSPs over the reals, including very simple instances. In contrast, a stronger property, the s...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
Several algorithms have been proposed to solve the problem of camera motion estimation in digital videos. However, the distinction between translation along the xaxis (y-axis) and...
FOSSACS
2007
Springer
14 years 3 months ago
2007
Springer
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue ...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
A fundamental question of longstanding theoretical interest is to prove the lowest exact count of real additions and multiplications required to compute a power-of-two discrete Fo...