Sciweavers

1757 search results - page 50 / 352
» Alternating Refinement Relations
Sort
View
118
Voted
JSS
2006
128views more  JSS 2006»
15 years 2 months ago
Automatic generation of document semantics for the e-science Knowledge Grid
This paper proposes an approach to automatically generate semantics for scientific e-documents, and presents its applications in e-document understanding, question answering and q...
Hai Zhuge, Xiangfeng Luo
TCS
2008
15 years 2 months ago
Anisotropic diagrams: Labelle Shewchuk approach revisited
F. Labelle and J. Shewchuk [3] have proposed a discrete definition of anisotropic Voronoi diagrams. These diagrams are parametrized by a metric field. Under mild hypotheses on the...
Jean-Daniel Boissonnat, Camille Wormser, Mariette ...
134
Voted
CADE
2005
Springer
16 years 2 months ago
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
124
Voted
JCIT
2010
199views more  JCIT 2010»
14 years 9 months ago
Grey Relational Analysis Method for Multiple Attribute Decision Making in Intuitionistic Fuzzy Setting
The aim of this paper is to investigate the multiple attribute decision making problems with intuitionistic fuzzy information, in which the information about attribute weights is ...
Juchi Hou
114
Voted
ICML
2003
IEEE
16 years 3 months ago
Learning Distance Functions using Equivalence Relations
We address the problem of learning distance metrics using side-information in the form of groups of "similar" points. We propose to use the RCA algorithm, which is a sim...
Aharon Bar-Hillel, Tomer Hertz, Noam Shental, Daph...