Sciweavers

1063 search results - page 85 / 213
» Order and Negation as Failure
Sort
View
EDBT
2009
ACM
148views Database» more  EDBT 2009»
14 years 1 months ago
MVT: a schema mapping validation tool
Schema mappings define relationships between schemas in a declarative way. We demonstrate MVT, a mapping validation tool that allows the designer to ask whether the mapping has ce...
Guillem Rull, Carles Farré, Ernest Teniente...
DIS
2006
Springer
14 years 1 months ago
A New Family of String Classifiers Based on Local Relatedness
This paper introduces a new family of string classifiers based on local relatedness. We use three types of local relatedness measurements, namely, longest common substrings (LCStr&...
Yasuto Higa, Shunsuke Inenaga, Hideo Bannai, Masay...
AAAI
2008
14 years 10 days ago
Strategyproof Classification under Constant Hypotheses: A Tale of Two Functions
We consider the following setting: a decision maker must make a decision based on reported data points with binary labels. Subsets of data points are controlled by different selfi...
Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosens...
CORIA
2008
13 years 11 months ago
Classification dynamique par treillis de concepts pour la recherche d'information sur le web
This paper presents an iterative and interactive information retrieval system to search on the web using formal concept analysis (FCA). FCA provides a natural way to organise objec...
Emmanuel Nauer, Yannick Toussaint
EUSFLAT
2007
128views Fuzzy Logic» more  EUSFLAT 2007»
13 years 11 months ago
Intersections Between Basic Families of Fuzzy Implications: (S, N)-, R- and QL-Implications
In this work, our primary focus is to determine the intersections that exist between the family of QL-implications and the families of (S, N)- and R-implications. Toward this end,...
Balasubramaniam Jayaram, Michal Baczynski