Sciweavers

1364 search results - page 11 / 273
» Comparative Branching-Time Semantics
Sort
View
ENTCS
2008
84views more  ENTCS 2008»
13 years 7 months ago
Comparing Three Coordination Models: Reo, ARC, and RRD
Three models of coordination--Reo, Actors-Roles-Coordinators (ARC), and Reflective Russian Dolls (RRD)--are compared and contrasted according to a set of coordination features. Ma...
Carolyn L. Talcott, Marjan Sirjani, Shangping Ren
TABLEAUX
2009
Springer
14 years 1 months ago
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...
Régis Alenda, Nicola Olivetti, Camilla Schw...
COLING
2002
13 years 7 months ago
A Comparative Evaluation of Data-driven Models in Translation Selection of Machine Translation
We present a comparative evaluation of two data-driven models used in translation selection of English-Korean machine translation. Latent semantic analysis(LSA) and probabilistic ...
Yuseop Kim, Jeong Ho Chang, Byoung-Tak Zhang
ADMA
2008
Springer
483views Data Mining» more  ADMA 2008»
14 years 1 months ago
A Comparative Study of Correlation Measurements for Searching Similar Tags
In recent years, folksonomy becomes a hot topic in many research fields such as complex systems, information retrieval, and recommending systems. It is essential to study the seman...
Kaikuo Xu, Yu Chen, Yexi Jiang, Rong Tang, Yintian...
WCRE
1999
IEEE
13 years 11 months ago
A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques
Several techniques have been suggested for supporting reverse engineering and design recovery activities. While many of these techniques have been cataloged in various collections...
Gerald C. Gannod, Betty H. C. Cheng