376 search results - page 57 / 76 » Automatic Generation of Service Availability Models |
HUC
2010
Springer
13 years 8 months ago
2010
Springer
Most location sharing applications display people's locations on a map. However, people use a rich variety of terms to refer to their locations, such as "home," &qu...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
ISBMS
2010
Springer
14 years 2 months ago
2010
Springer
High quality obstetric images have become readily available with fast magnetic resonance imaging protocols or new 3D ultrasound probes. These obstetric images provide detailed info...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
ICCV
2005
IEEE
14 years 9 months ago
2005
IEEE
We present a new approach to model visual scenes in image collections, based on local invariant features and probabilistic latent space models. Our formulation provides answers to...