Sciweavers

769 search results - page 18 / 154
» Hybrid Performance Modeling and Prediction of Large-Scale Co...
Sort
View
HYBRID
2003
Springer
14 years 24 days ago
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin
TCBB
2011
13 years 2 months ago
Semi-Markov Models for Brownian Dynamics Permeation in Biological Ion Channels
—Constructing accurate computational models that explain how ions permeate through a biological ion channel is an important problem in biophysics and drug design. Brownian dynami...
Vikram Krishnamurthy, Kai Yiu Luk
JPDC
2006
156views more  JPDC 2006»
13 years 7 months ago
Grid harvest service: A performance system of grid computing
Conventional performance evaluation mechanisms focus on dedicated systems. Grid computing infrastructure, on the other hand, is a shared collaborative environment constructed on v...
Ming Wu, Xian-He Sun
DCC
2007
IEEE
14 years 7 months ago
Spatial Sparsity Induced Temporal Prediction for Hybrid Video Compression
In this paper we propose a new motion compensated prediction technique that enables successful predictive encoding during fades, blended scenes, temporally decorrelated noise, and...
Gang Hua, Onur G. Guleryuz
CVPR
2006
IEEE
14 years 9 months ago
Performance Modeling and Prediction of Face Recognition Systems
It is a challenging task to accurately model the performance of a face recognition system, and to predict its individual recognition results under various environments. This paper...
Peng Wang, Qiang Ji