607 search results - page 59 / 122 » Unifying Exact Completions |
72
Voted
BSL
2007
15 years 17 days ago
2007
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...
INFORMATICALT
2007
15 years 14 days ago
2007
Abstract. In this paper an exact and complete analysis of the Lloyd–Max’s algorithm and its initialization is carried out. An effective method for initialization of Lloyd–Max...
86
Voted
TCS
2008
15 years 14 days ago
2008
We present exact and complete algorithms based on precomputed Sturm-Habicht sequences, discriminants and invariants, that classify, isolate with rational points and compare the re...
103
Voted
DAM
2002
15 years 11 days ago
2002
In K(n, n) with edges colored either red or blue, we show that the problem of finding a solution matching, a perfect matching consisting of exactly r red edges, and (n - r) blue e...
111
Voted
GIS
2002
ACM
15 years 10 days ago
2002
ACM
Dealing with moving objects necessitates having available complete geographical traces for determining exact or possible locations that objects have had, have or will have. This i...