421 search results - page 71 / 85 » String Distances and Uniformities |
ISSTA
2000
ACM
14 years 24 days ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
VISUALIZATION
1996
IEEE
14 years 18 days ago
1996
IEEE
Transparency can be a useful device for simultaneously depicting multiple superimposed layers of information in a single image. However, in computer-generated pictures -as in phot...
BROADNETS
2004
IEEE
14 years 6 days ago
2004
IEEE
Traditionally, the routing problem is addressed at the network layer, an approach that has been extended to the wireless realm. In wireless multihop networks, however, strict laye...
COMPLIFE
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. Molecular shapes play an important role in molecular interactions, e.g., between a protein and a ligand. The `outer' shape of a molecule can be approximated by its s...
VVS
1995
IEEE
13 years 12 months ago
1995
IEEE
We introduce a framework for texturing volumetric objects with displacement maps and texture maps, which are introduced as volume modeling tools. In this framework, an implicit-to...