Sciweavers

1757 search results - page 50 / 352
» Alternating Refinement Relations
Sort
View
100
Voted
JSS
2006
128views more  JSS 2006»
15 years 15 days 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
95
Voted
TCS
2008
15 years 13 days 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 ...
CADE
2005
Springer
16 years 25 days 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
JCIT
2010
199views more  JCIT 2010»
14 years 7 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
98
Voted
ICML
2003
IEEE
16 years 1 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...