Sciweavers

2992 search results - page 446 / 599
» Semantic Distance Measures
Sort
View
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
15 years 4 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
COMMA
2010
15 years 1 months ago
Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution
Abstract. We propose an argumentation framework for modelling jury-based dispute resolution where the dispute parties present their arguments before a judge and a jury. While the j...
Phan Minh Dung, Phan Minh Thang
ACL
2011
14 years 10 months ago
Collecting Highly Parallel Data for Paraphrase Evaluation
A lack of standard datasets and evaluation metrics has prevented the field of paraphrasing from making the kind of rapid progress enjoyed by the machine translation community ove...
David Chen, William B. Dolan
MICCAI
2006
Springer
16 years 7 months ago
Automatic Detection and Segmentation of Ground Glass Opacity Nodules
Ground Glass Opacity (GGO) is defined as hazy increased attenuation within a lung that is not associated with obscured underlying vessels. Since pure (nonsolid) or mixed (partially...
Jinghao Zhou, Sukmoon Chang, Dimitris N. Metaxas, ...
VLDB
2001
ACM
146views Database» more  VLDB 2001»
16 years 6 months ago
Combining multi-visual features for efficient indexing in a large image database
Abstract. The optimized distance-based access methods currently available for multidimensional indexing in multimedia databases have been developed based on two major assumptions: ...
Anne H. H. Ngu, Quan Z. Sheng, Du Q. Huynh, Ron Le...