Sciweavers

GIS
2010
ACM
13 years 8 months ago
Memory-efficient A*-search using sparse embeddings
Franz Graf, Hans-Peter Kriegel, Matthias Renz, Mat...
CLASSIFICATION
2010
13 years 8 months ago
A Formal Proof of a Paradox Associated with Cohen's Kappa
Abstract: Suppose two judges each classify a group of objects into one of several nominal categories. It has been observed in the literature that, for fixed observed agreement betw...
Matthijs J. Warrens
CLASSIFICATION
2010
13 years 8 months ago
Intelligent Choice of the Number of Clusters in K-Means Clustering: An Experimental Study with Different Cluster Spreads
: The issue of determining "the right number of clusters" in K-Means has attracted considerable interest, especially in the recent years. Cluster intermix appears to be a...
Mark Ming-Tso Chiang, Boris Mirkin
ICLP
2009
Springer
13 years 8 months ago
Proving Termination by Invariance Relations
Paolo Pilozzi, Danny De Schreye
ICLP
2009
Springer
13 years 8 months ago
Automating Termination Proofs for CHR
Paolo Pilozzi, Danny De Schreye
ICCBR
2009
Springer
13 years 8 months ago
Constraint-Based Case-Based Planning Using Weighted MAX-SAT
Previous approaches to case-based planning often finds a similar plan case to a new planning problem to adapt to solve the new problem. However, in the case base, there may be some...
Hankui Zhuo, Qiang Yang, Lei Li
ICCBR
2009
Springer
13 years 8 months ago
On Similarity Measures Based on a Refinement Lattice
Abstract. Retrieval of structured cases using similarity has been studied in CBR but there has been less activity on defining similarity on description logics (DL). In this paper w...
Santiago Ontañón, Enric Plaza
ICCBR
2009
Springer
13 years 8 months ago
Toward Modeling and Teaching Legal Case-Based Adaptation with Expert Examples
Studying examples of expert case-based adaptation could advance computational modeling but only if the examples can be succinctly represented and reliably interpreted. Supreme Cour...
Kevin D. Ashley, Collin Lynch, Niels Pinkwart, Vin...
GIS
2009
ACM
13 years 8 months ago
Quality assessment of automatically generated feature maps for future driver assistance systems
Future driver assistance systems will require highly accurate positioning. One way to achieve this is by using on-board sensors to measure the relative location of landmarks for w...
Sabine Hofmann, Claus Brenner