2455 search results - page 338 / 491 » Graphical abstract help |
142
click to vote
GD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we present an algorithm for drawing an undirected graph G which takes advantage of the structure of the modular decomposition tree of G. Specifically, our ...
131
click to vote
ICCSA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The last advances in commodity hardware have allowed users of immersive visualization to create high-performance systems using a set of interconnected computers. These sy...
116
click to vote
ICCSA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Multi-user virtual environment (MUVE) systems enable virtual participation in many applications. A MUVE usually is a complex system requiring technologies from 3D graphic...
141
click to vote
IFM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
145
click to vote
JSAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...