10707 search results - page 1849 / 2142 » Designing executable abstractions |
181
click to vote
HYBRID
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
191
click to vote
ICALP
2004
Springer
16 years 18 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...
193
click to vote
ICALP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. In this paper we consider the problem of computing a minimum cycle basis in a graph G with m edges and n vertices. The edges of G have non-negative weights on them. The p...
179
click to vote
ICCSA
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Wireless LAN (WLAN) refers to the wireless network environment constructed indoors or outdoors, by using either the radio or light wave technology instead of wire signals...
204
click to vote
ICCSA
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Network-server architecture has become a de-facto standard for Distributed Virtual Environment (DVE) systems. In these systems, a large set of remote users share a 3D vir...