2861 search results - page 404 / 573 » The multi-layered network design problem |
156
click to vote
FMCO
2005
Springer
15 years 9 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...
ELPUB
1999
ACM
15 years 8 months ago
1999
ACM
Internet technology together with the SGML based XML language family provide means to develop technical customer document management in inter-organisational industrial projects. T...
108
click to vote
AAAI
2006
15 years 5 months ago
2006
Many planning and design problems can be characterized as optimal search over a constrained network of conditional choices with preferences. To draw upon the advanced methods of c...
115
click to vote
ALGORITHMICA
2008
15 years 4 months ago
2008
Color-coding is a technique to design fixed-parameter algorithms for several NP-complete subgraph isomorphism problems. Somewhat surprisingly, not much work has so far been spent ...
149
click to vote
PVLDB
2010
15 years 2 months ago
2010
With the emergence of new applications, e.g., computational biology, new software engineering techniques, social networks, etc., more data is in the form of graphs. Locating occur...