15792 search results - page 2963 / 3159 » Computational Abstraction Steps |
98
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Graph drawing and visualization represent structural information ams of abstract graphs and networks. An important subset of graphs is directed acyclic graphs (DAGs). E-Spring alg...
97
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
STACS
2009
Springer
15 years 7 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
115
click to vote
STACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present approximation algorithms for almost all variants of the multicriteria traveling salesman problem (TSP), whose performances are independent of the number k of c...
117
Voted
CLUSTER
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Performance and power issues are becoming increasingly important in the design of large cluster based multitier data centers for supporting a multitude of services. Desi...