Sciweavers

1459 search results - page 184 / 292
» An authorization model for temporal data
Sort
View
VIS
2009
IEEE
163views Visualization» more  VIS 2009»
16 years 7 months ago
Visual Exploration of Climate Variability Changes Using Wavelet Analysis
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...
Heike Jänicke, Michael Böttinger, Uwe Mikolaje...
BMCBI
2007
172views more  BMCBI 2007»
15 years 6 months ago
msBayes: Pipeline for testing comparative phylogeographic histories using hierarchical approximate Bayesian computation
Background: Although testing for simultaneous divergence (vicariance) across different population-pairs that span the same barrier to gene flow is of central importance to evoluti...
Michael J. Hickerson, Eli Stahl, Naoki Takebayashi
ICDIM
2007
IEEE
15 years 8 months ago
Predicting durability in DHTs using Markov chains
We consider the problem of data durability in lowbandwidth large-scale distributed storage systems. Given the limited bandwidth between replicas, these systems suffer from long re...
Fabio Picconi, Bruno Baynat, Pierre Sens
CRV
2006
IEEE
345views Robotics» more  CRV 2006»
16 years 15 days ago
3D Face Reconstruction from Stereo Video
Face processing in video is receiving substantial attention due to its importance in many securityrelated applications. A video provides rich information about a face (multiple fr...
Unsang Park, Anil K. Jain
FMOODS
2008
15 years 7 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens