16518 search results - page 55 / 3304 » A New Approach to Splitting-Off |
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
113
click to vote
SOFTVIS
2003
ACM
15 years 5 months ago
2003
ACM
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...
121
Voted
ECTEL
2006
Springer
15 years 4 months ago
2006
Springer
More and more CoPs have chosen virtual environments and services to support their activities. However, recent research has underlined several problems: the lack of adequate scaffol...
113
Voted
DAS
2008
Springer
15 years 2 months ago
2008
Springer
In classification tasks, class-modular strategy has been widely used. It has outperformed classical strategy for pattern classification task in many applications [1]. However, in ...
108
Voted
ESA
2008
Springer
15 years 2 months ago
2008
Springer
The crossing number problem is to find the smallest number of edge crossings necessary when drawing a graph into the plane. Eventhough the problem is NP-hard, we are interested in ...