Sciweavers

10156 search results - page 1915 / 2032
» Step by Step to Histories
Sort
View
217
Voted
COMPSEC
2010
146views more  COMPSEC 2010»
15 years 7 months ago
An intruder model with message inspection for model checking security protocols
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
225
Voted
CGF
2008
157views more  CGF 2008»
15 years 7 months ago
Interactive Volume Rendering with Dynamic Ambient Occlusion and Color Bleeding
We propose a method for rendering volumetric data sets at interactive frame rates while supporting dynamic ambient occlusion as well as an approximation to color bleeding. In cont...
Timo Ropinski, Jennis Meyer-Spradow, Stefan Diepen...
CGF
2008
142views more  CGF 2008»
15 years 7 months ago
Visualizing Genome Expression and Regulatory Network Dynamics in Genomic and Metabolic Context
DNA microarrays are used to measure the expression levels of thousands of genes simultaneously. In a time series experiment, the gene expressions are measured as a function of tim...
Michel A. Westenberg, Sacha A. F. T. van Hijum, Os...
CGF
2008
140views more  CGF 2008»
15 years 7 months ago
Interactive Glossy Reflections using GPU-based Ray Tracing with Adaptive LOD
We present an interactive GPU-based algorithm for accurately rendering high-quality, dynamic glossy reflection effects from both HDR environment maps and local scene objects. Our ...
Xuan Yu, Rui Wang 0003, Jingyi Yu
202
Voted
CORR
2010
Springer
162views Education» more  CORR 2010»
15 years 7 months ago
Random sampling of lattice paths with constraints, via transportation
We investigate Monte Carlo Markov Chain (MCMC) procedures for the random sampling of some one-dimensional lattice paths with constraints, for various constraints. We will see that...
Lucas Gerin
« Prev « First page 1915 / 2032 Last » Next »