Sciweavers

1960 search results - page 247 / 392
» The Logic of Large Enough
Sort
View
74
Voted
SYNTHESE
2008
83views more  SYNTHESE 2008»
15 years 20 days ago
The early Russell on the metaphysics of substance in Leibniz and Bradley
While considerable ink has been spilt over the rejection of idealism by Bertrand Russell and G.E. Moore at the end of the 19th Century, relatively little attention has been directe...
T. Allan Hillman
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 10 days ago
CLP-based protein fragment assembly
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
Alessandro Dal Palù, Agostino Dovier, Feder...
100
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
Toward the Practical Use of Network Tomography for Internet Topology Discovery
Abstract—Accurate and timely identification of the routerlevel topology of the Internet is one of the major unresolved problems in Internet research. Topology recovery via tomog...
Brian Eriksson, Gautam Dasarathy, Paul Barford, Ro...
112
Voted
EUSFLAT
2009
142views Fuzzy Logic» more  EUSFLAT 2009»
14 years 10 months ago
Multi-Dimensional Scaling applied to Hierarchical Rule Systems
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...
Thomas R. Gabriel, Kilian Thiel, Michael R. Bertho...
122
Voted
COLING
2010
14 years 7 months ago
DL Meet FL: A Bidirectional Mapping between Ontologies and Linguistic Knowledge
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
Hans-Ulrich Krieger, Ulrich Schäfer