585 search results - page 59 / 117 » Better Abstractions for Timed Automata |
93
Voted
WEA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We implement the approximation algorithm for the multicast congestion problem in communication networks in [14] based on the fast approximation algorithm for packing prob...
115
click to vote
MPC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
106
Voted
SCVMA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we present a generative model for image sequences, which can be applied to motion segmentation and tracking, and to image sequence compression. The model co...
109
Voted
IV
2000
IEEE
15 years 5 months ago
2000
IEEE
Desktop virtual reality (VR) offers a powerful environment for visualizing structure in large information sets. In well-designed virtual worlds, users can employ skills from wayfi...
78
Voted
SEAL
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In this paper, we discuss an approach to an operator scheduling problem in a large organization over time with the aim of maintaining service quality and reducing total l...