6413 search results - page 54 / 1283 » Classes of cycle bases |
113
click to vote
IJISMD
2010
14 years 9 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
105
Voted
SEKE
2005
Springer
15 years 6 months ago
2005
Springer
- Many software development platforms provide a large number of library components to make it easy to build high quality software. On the other hand, it became more and more diffic...
105
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given pro...
120
click to vote
FMCO
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
73
Voted
COLING
2010
14 years 7 months ago
2010
Main approaches to corpus-based semantic class mining include distributional similarity (DS) and pattern-based (PB). In this paper, we perform an empirical comparison of them, bas...