17129 search results - page 425 / 3426 » Applied Computing |
157
click to vote
CIE
2009
Springer
15 years 10 months ago
2009
Springer
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of the natural numbers.
143
click to vote
COMGEO
2008
ACM
15 years 6 months ago
2008
ACM
A randomized linear expected-time algorithm for computing the zonoid depth (Dyckerhoff et al 1996, Mosler 2002) of a point with respect to a fixed dimensional point set is presente...
169
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Polynomial ranges are commonly used for numerically solving polynomial systems with interval Newton solvers. Often ranges are computed using the convex hull property of the tensor...
190
click to vote
GROUP
2009
ACM
16 years 1 months ago
2009
ACM
Scientiï¬c peer review, open source software development, wikis, and other domains use distributed review to improve quality of created content by providing feedback to the workâ...
192
click to vote
SAC
2006
ACM
16 years 22 days ago
2006
ACM
Bringing ubiquitous computing applications to home environments is a great challenge. In our research we investigate how applications can be conceived, designed, and implemented t...