725 search results - page 137 / 145 » Descriptive Set Theory of Families of Small Sets |
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
113
click to vote
WWW
2010
ACM
15 years 4 months ago
2010
ACM
Recent research provides evidence for the presence of emergent semantics in collaborative tagging systems. While several methods have been proposed, little is known about the fact...
IISWC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Transactional Memory (TM) is emerging as a promising technology to simplify parallel programming. While several TM systems have been proposed in the research literature,...
AVSS
2005
IEEE
15 years 3 months ago
2005
IEEE
We introduce a method for recovering the spatial and temporal alignment between two or more views of objects moving over a ground plane. Existing approaches either assume that the...
ICDT
2003
ACM
15 years 2 months ago
2003
ACM
Abstract. Repairing a database means bringing the database in accordance with a given set of integrity constraints by applying modifications that are as small as possible. In the ...