2425 search results - page 36 / 485 » Practical performance models for complex, popular applicatio... |
116
click to vote
MICCAI
2005
Springer
16 years 20 days ago
2005
Springer
This paper introduces a novel solver, namely cross entropy (CE), into the MRF theory for medical image segmentation. The solver, which is based on the theory of rare event simulati...
115
click to vote
ICS
2009
Tsinghua U.
15 years 6 months ago
2009
Tsinghua U.
“Is transactional memory useful?” is the question that cannot be answered until we provide substantial applications that can evaluate its capabilities. While existing TM appli...
NIPS
2007
15 years 1 months ago
2007
This article discusses a latent variable model for inference and prediction of symmetric relational data. The model, based on the idea of the eigenvalue decomposition, represents ...
127
click to vote
FMICS
2010
Springer
14 years 12 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
150
click to vote
CODASPY
2012
13 years 7 months ago
2012
Recent years have witnessed incredible popularity and adoption of smartphones and mobile devices, which is accompanied by large amount and wide variety of feature-rich smartphone ...