1809 search results - page 77 / 362 » Weakly Computable Real Numbers |
128
click to vote
ANTS
2006
Springer
15 years 7 months ago
2006
Springer
We provide a modular method for computing the splitting field Kf of an integral polynomial f by suitable use of the byproduct of computation of its Galois group Gf by p-adic Staudu...
170
click to vote
TCOS
2008
15 years 3 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
132
click to vote
COBUILD
1998
Springer
15 years 8 months ago
1998
Springer
Traditional graphical user interfaces (GUIs) are mainly designed for an environment consisting of a single display and a set of single input devices. However, in the near future we...
112
click to vote
ECCV
1994
Springer
16 years 5 months ago
1994
Springer
Abstract. We propose a new approach to the correspondence problem that makes use of non-parametric local transforms as the basis for correlation. Non-parametric local transforms re...
107
click to vote
SOSP
1997
ACM
15 years 5 months ago
1997
ACM
A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the us...