Sciweavers

4106 search results - page 332 / 822
» A Computational Model for Metric Spaces
Sort
View
WABI
2007
Springer
16 years 27 days ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
SBACPAD
2008
IEEE
170views Hardware» more  SBACPAD 2008»
16 years 1 months ago
Using Analytical Models to Efficiently Explore Hardware Transactional Memory and Multi-Core Co-Design
Transactional memory is emerging as a parallel programming paradigm for multi-core processors. Despite the recent interest in transactional memory, there has been no study to char...
James Poe, Chang-Burm Cho, Tao Li
CVPR
2007
IEEE
16 years 8 months ago
Variable Bandwidth Image Denoising Using Image-based Noise Models
This paper introduces a variational formulation for image denoising based on a quadratic function over kernels of variable bandwidth. These kernels are scale adaptive and reflect ...
Noura Azzabou, Nikos Paragios, Frederic Guichard, ...
CVPR
2008
IEEE
16 years 8 months ago
Discriminative human action segmentation and recognition using semi-Markov model
Given an input video sequence of one person conducting a sequence of continuous actions, we consider the problem of jointly segmenting and recognizing actions. We propose a discri...
Qinfeng Shi, Li Wang, Li Cheng, Alexander J. Smola
CHI
2007
ACM
16 years 7 months ago
Modeling steering within above-the-surface interaction layers
Interaction techniques that utilize the space above the display surface to extend the functionalities of digitized surfaces continue to emerge. In such techniques, movements are c...
Raghavendra S. Kattinakere, Tovi Grossman, Sriram ...