1364 search results - page 11 / 273 » Comparative Branching-Time Semantics |
155
click to vote
ENTCS
2008
15 years 5 months ago
2008
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...
159
Voted
TABLEAUX
2009
Springer
16 years 10 days ago
2009
Springer
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...
152
click to vote
COLING
2002
15 years 5 months ago
2002
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 ...
247
Voted
ADMA
2008
Springer
16 years 5 days ago
2008
Springer
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...
147
Voted
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
Several techniques have been suggested for supporting reverse engineering and design recovery activities. While many of these techniques have been cataloged in various collections...