2292 search results - page 400 / 459 » A Data Model and Data Structures for Moving Objects Database... |
149
click to vote
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
115
Voted
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
147
Voted
IWVF
2001
Springer
15 years 6 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
157
Voted
CIVR
2010
Springer
15 years 6 months ago
2010
Springer
The Signature Quadratic Form Distance is an adaptive similarity measure for flexible content-based feature representations of multimedia data. In this paper, we present a deep su...
114
click to vote
AMDO
2006
Springer
15 years 6 months ago
2006
Springer
Common movements like reaching, striking, etc. observed during surveillance have highly variable target locations. This puts appearance-based techniques at a disadvantage for model...