Sciweavers

522 search results - page 73 / 105
» Automating grammar comparison
Sort
View
LICS
2010
IEEE
14 years 11 months ago
Weak Equivalences in Psi-Calculi
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
Magnus Johansson, Jesper Bengtson, Joachim Parrow,...
107
Voted
ACL
2010
14 years 10 months ago
Extraction and Approximation of Numerical Attributes from the Web
We present a novel framework for automated extraction and approximation of numerical object attributes such as height and weight from the Web. Given an object-attribute pair, we d...
Dmitry Davidov, Ari Rappoport
113
Voted
CLASSIFICATION
2010
14 years 10 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
100
Voted
TSMC
2010
14 years 7 months ago
A Benchmark Diagnostic Model Generation System
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
Jun Wang, Gregory M. Provan
87
Voted
MICCAI
2002
Springer
16 years 1 months ago
Validation of Image Segmentation and Expert Quality with an Expectation-Maximization Algorithm
Characterizing the performance of image segmentation approaches has been a persistent challenge. Performance analysis is important since segmentation algorithms often have limited ...
Simon K. Warfield, Kelly H. Zou, William M. Wells ...