4502 search results - page 382 / 901 » Regular Model Checking |
201
click to vote
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
We propose to increment a statistical shape model with surrogate variables such as anatomical measurements and patient-related information, allowing conditioning the shape distribu...
170
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...
181
click to vote
ISIPTA
2005
IEEE
16 years 11 days ago
2005
IEEE
When considering sampling models described by a distribution from an exponential family, it is possible to create two types of imprecise probability models. One is based on the co...
159
click to vote
ITA
2006
15 years 6 months ago
2006
In this work we study some probabilistic models for the random generation of words over a given alphabet used in the literature in connection with pattern statistics. Our goal is t...
211
click to vote
ASPDAC
2011
ACM
14 years 10 months ago
2011
ACM
This paper studies realization and performance comparison of the sequential and weak consistency models in the network-on-chip (NoC) based distributed shared memory (DSM) multi-cor...