Sciweavers

2200 search results - page 119 / 440
» The Generalized Pignistic Transformation
Sort
View
108
Voted
GIS
2010
ACM
14 years 11 months ago
Ontuition: intuitive data exploration via ontology navigation
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 ...
Marco D. Adelfio, Michael D. Lieberman, Hanan Same...
POPL
2012
ACM
13 years 8 months ago
Algebraic foundations for effect-dependent optimisations
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...
Ohad Kammar, Gordon D. Plotkin
98
Voted
SAC
2004
ACM
15 years 6 months ago
Automatic parallel code generation for tiled nested loops
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...
Georgios I. Goumas, Nikolaos Drosinos, Maria Athan...
112
Voted
PODS
2005
ACM
99views Database» more  PODS 2005»
16 years 28 days ago
XML type checking with macro tree transducers
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...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...
84
Voted
WACV
2005
IEEE
15 years 6 months ago
Planar Ego-Motion Without Correspondences
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...
Ameesh Makadia, Dinkar Gupta, Kostas Daniilidis