952 search results - page 70 / 191 » TreeFam: 2008 Update |
124
Voted
DAM
2006
15 years 3 months ago
2006
This paper presents an optimal fully dynamic recognition algorithm for directed cographs. Given the modular decomposition tree of a directed cograph G, the algorithm supports arc ...
138
Voted
JLP
2008
15 years 3 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
143
Voted
TISSEC
2008
15 years 3 months ago
2008
Overlay multicast networks are used by service providers to distribute contents such as web pages, streaming multimedia data, or security updates to a large number of users. Howeve...
116
Voted
TVCG
2008
15 years 3 months ago
2008
Abstract-- We propose an acceleration scheme for dynamic collision detection at interactive rates. We use a tight bounding volume representation that offers fast update rates and t...
96
Voted
CGF
2000
15 years 3 months ago
2000
Geometric acoustic modeling systems spatialize sounds according to reverberation paths from a sound source to a receiver to give an auditory impression of a virtual 3D environment...