Sciweavers

2611 search results - page 239 / 523
» A Logic for Concepts and Similarity
Sort
View
4OR
2004
43views more  4OR 2004»
15 years 6 months ago
Concordant outranking with multiple criteria of ordinal significance
Abstract In this paper we address the problem of aggregating outranking statements from multiple preference criteria of ordinal significance. The concept of ordinal concordance of ...
Raymond Bisdorff
LPAR
2010
Springer
15 years 5 months ago
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
Jasmin Christian Blanchette, Koen Claessen
SLOGICA
2011
15 years 1 months ago
The Quasi-lattice of Indiscernible Elements
The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algeb...
Mauri Cunha do Nascimento, Décio Krause, H&...
CIKM
2004
Springer
15 years 12 months ago
Exploiting hierarchical relationships in conceptual search
As the number of available Web pages grows, users experience increasing difficulty finding documents relevant to their interests. One of the underlying reasons for this is that mo...
Devanand Ravindran, Susan Gauch
TRECVID
2007
15 years 7 months ago
The MediaMill TRECVID 2007 Semantic Video Search Engine
In this paper we describe our TRECVID 2007 experiments. The MediaMill team participated in two tasks: concept detection and search. For concept detection we extract regionbased im...
Cees G. M. Snoek, I. Everts, Jan van Gemert, Jan-M...