14078 search results - page 2624 / 2816 » Design and Analysis of Computer Algorithms |
205
click to vote
VRST
2005
ACM
16 years 11 hour ago
2005
ACM
In this paper, we describe a method of dynamic creation of interactive presentations for Mixed Reality environments. The presentations are created automatically for collections of...
222
click to vote
WCFLP
2005
ACM
16 years 11 hour ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
158
click to vote
ATVA
2005
Springer
16 years 3 hour ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
164
click to vote
GCC
2005
Springer
15 years 12 months ago
2005
Springer
DarGridⅡ is an implemented database gird system whose goal is to provide a semantic solution for integrating database resources on the web. Although many algorithms have been pro...
174
click to vote
GD
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we investigate the problem of drawing metro maps which is defined as follows. Given a planar graph G of maximum degree 8 with its embedding and vertex locations (e.g...