Sciweavers

1757 search results - page 212 / 352
» Alternating Refinement Relations
Sort
View
ENTCS
2007
86views more  ENTCS 2007»
15 years 3 months ago
Simulations Up-to and Canonical Preorders: (Extended Abstract)
d abstract) David de Frutos Escrig1 ,3 Departamento de Sistemas Inform´aticos y Computaci´on Universidad Complutense de Madrid Madrid, Spain Carlos Gregorio Rodr´ıguez2 ,4 Depa...
David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...
140
Voted
CORR
2000
Springer
120views Education» more  CORR 2000»
15 years 3 months ago
Scaling Up Inductive Logic Programming by Learning from Interpretations
When comparing inductive logic programming (ILP) and attribute-value learning techniques, there is a trade-off between expressive power and efficiency. Inductive logic programming ...
Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart ...
SYNTHESE
2010
99views more  SYNTHESE 2010»
15 years 2 months ago
Vagueness, uncertainty and degrees of clarity
The focus of the paper is on the logic of clarity and the problem of higherorder vagueness. We first examine the consequences of the notion of intransitivity of indiscriminabilit...
Paul Égré, Denis Bonnay
135
Voted
ICDM
2009
IEEE
169views Data Mining» more  ICDM 2009»
15 years 1 months ago
Learning the Shared Subspace for Multi-task Clustering and Transductive Transfer Classification
There are many clustering tasks which are closely related in the real world, e.g. clustering the web pages of different universities. However, existing clustering approaches neglec...
Quanquan Gu, Jie Zhou
ICIP
2001
IEEE
16 years 5 months ago
Coding for the storage and communication of visualisations of 3D medical data
The transmission of the large store of information contained in 3D medical data sets through limited capacity channels, is a critical procedure in many telemedicine applications. ...
Dimitrios Tzovaras, Michael G. Strintzis, Nikolaos...