2200 search results - page 119 / 440 » The Generalized Pignistic Transformation |
GIS
2010
ACM
13 years 7 months ago
2010
ACM
We present Ontuition, a system for mapping ontologies. Transforming data to a usable format for Ontuition involves recognizing and resolving data values corresponding to concepts ...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
This paper presents an overview of our work, concerning a complete end-to-end framework for automatically generating message passing parallel code for tiled nested for-loops. It c...
PODS
2005
ACM
14 years 9 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
WACV
2005
IEEE
14 years 2 months ago
2005
IEEE
General structure-from-motion methods are not adept at dealing with constrained camera motions, even though such motions greatly simplify vision tasks like mobile robot localizati...