Sciweavers

873 search results - page 73 / 175
» Effective Use of Organisational Abstractions for Confidence ...
Sort
View
OSDI
2002
ACM
16 years 6 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
BPM
2008
Springer
188views Business» more  BPM 2008»
15 years 8 months ago
Social Software for Modeling Business Processes
Abstract. The aim of this paper is to show how the use of social networks may help users to behave as modelers they trust. Users are guided in this respect within the context of an...
Agnes Koschmider, Minseok Song, Hajo A. Reijers
CIBCB
2006
IEEE
16 years 6 days ago
A Stochastic model to estimate the time taken for Protein-Ligand Docking
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
Preetam Ghosh, Samik Ghosh, Kalyan Basu, Sajal K. ...
TMI
2010
182views more  TMI 2010»
15 years 4 months ago
A Bayesian Mixture Approach to Modeling Spatial Activation Patterns in Multisite fMRI Data
Abstract—We propose a probabilistic model for analyzing spatial activation patterns in multiple functional magnetic resonance imaging (fMRI) activation images such as repeated ob...
Seyoung Kim, Padhraic Smyth, Hal S. Stern
BIOID
2008
157views Biometrics» more  BIOID 2008»
15 years 8 months ago
Modeling Marginal Distributions of Gabor Coefficients: Application to Biometric Template Reduction
Abstract. Gabor filters have demonstrated their effectiveness in automatic face recognition. However, one drawback of Gabor-based face representations is the huge amount of data th...
Daniel González-Jiménez, José...