Sciweavers

8096 search results - page 234 / 1620
» Distributed performance testing using statistical modeling
Sort
View
IJHPCA
2007
88views more  IJHPCA 2007»
13 years 8 months ago
Scaling Properties of Common Statistical Operators for Gridded Datasets
An accurate cost-model that accounts for dataset size and structure can help optimize geoscience data analysis. We develop and apply a computational model to estimate data analysi...
Charles S. Zender, Harry Mangalam
CORR
2010
Springer
225views Education» more  CORR 2010»
13 years 7 months ago
Analysis of the Security of BB84 by Model Checking
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
Mohamed Elboukhari, Mostafa Azizi, Abdelmalek Aziz...
NPAR
2006
ACM
14 years 2 months ago
Real-time watercolor illustrations of plants using a blurred depth test
We present techniques to create convincing high-quality watercolor illustrations of plants. Mainly focusing on the real-time rendering, we introduce methods to abstract the visual...
Thomas Luft, Oliver Deussen
NIPS
2008
13 years 9 months ago
Shared Segmentation of Natural Scenes Using Dependent Pitman-Yor Processes
We develop a statistical framework for the simultaneous, unsupervised segmentation and discovery of visual object categories from image databases. Examining a large set of manuall...
Erik B. Sudderth, Michael I. Jordan
ATVA
2009
Springer
117views Hardware» more  ATVA 2009»
14 years 2 months ago
UnitCheck: Unit Testing and Model Checking Combined
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
Michal Kebrt, Ondrej Sery