Sciweavers

10392 search results - page 226 / 2079
» Introduction to Computer Science
Sort
View
130
Voted
SOFSEM
2010
Springer
16 years 3 months ago
Dynamic Edit Distance Table under a General Weighted Cost Function
Heikki Hyyrö, Kazuyuki Narisawa, Shunsuke Ine...
SOFSEM
2009
Springer
16 years 3 months ago
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures
Taolue Chen, Wan Fokkink, Rob J. van Glabbeek
120
Voted
SOFSEM
2009
Springer
16 years 3 months ago
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
Thomas Chatain, Paul Gastin, Nathalie Sznajder