10271 search results - page 1606 / 2055 » Computer Science |
156
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
177
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
196
click to vote
EGPGV
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents I/O solutions for the visualization of time-varying volume data in a parallel and distributed computing environment. Depending on the number of rendering proce...
169
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
174
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this paper we present a novel analysis of a random sampling approach for three clustering problems in metric spaces: k-median, min-sum kclustering, and balanced k-medi...