Sciweavers

2492 search results - page 336 / 499
» On the General Signature Trees
Sort
View
CLASSIFICATION
2008
73views more  CLASSIFICATION 2008»
15 years 6 months ago
Solving Non-Uniqueness in Agglomerative Hierarchical Clustering Using Multidendrograms
: In agglomerative hierarchical clustering, pair-group methods suffer from a problem of non-uniqueness when two or more distances between different clusters coincide during the ama...
Alberto Fernández, Sergio Gómez
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 6 months ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans
CORR
2008
Springer
167views Education» more  CORR 2008»
15 years 6 months ago
Energy Scaling Laws for Distributed Inference in Random Networks
The energy scaling laws of multihop data fusion networks for distributed inference are considered. The fusion network consists of randomly located sensors independently distributed...
Animashree Anandkumar, Joseph E. Yukich, Lang Tong...
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 6 months ago
Compact Labelings For Efficient First-Order Model-Checking
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
ENTCS
2008
140views more  ENTCS 2008»
15 years 5 months ago
Fusing a Transformation Language with an Open Compiler
Transformation systems such as Stratego/XT provide powerful analysis and transformation frameworks and concise languages for language processing, but instantiating them for every ...
Karl Trygve Kalleberg, Eelco Visser