1637 search results - page 175 / 328 » Superimposing dynamic range |
156
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
127
click to vote
TOG
2008
15 years 4 months ago
2008
Animating natural human motion in dynamic environments is difficult because of complex geometric and physical interactions. Simulation provides an automatic solution to parts of t...
124
click to vote
TWC
2008
15 years 4 months ago
2008
The sliding correlator technique remains one of the most versatile and effective methods for sounding the radio propagation channel in next-generation wireless systems. Despite the...
127
click to vote
MAGS
2007
15 years 4 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
129
click to vote
CG
2004
Springer
15 years 4 months ago
2004
Springer
nd maps are powerful abstractions. Their combination, Hierarchical Graph Maps, provide effective tools to process a graph that is too large to fit on the screen. They provide hier...