6608 search results - page 1140 / 1322 » On the Completeness of Model Checking |
118
click to vote
ISMM
2009
Springer
15 years 11 months ago
2009
Springer
In order to describe anisotropy in image processing models or physical measurements, matrix fields are a suitable choice. In diffusion tensor magnetic resonance imaging (DT-MRI),...
146
Voted
ISW
2009
Springer
15 years 11 months ago
2009
Springer
As a new public key primitive, attribute-based encryption (ABE) is envisioned to be a promising tool for implementing fine-grained access control. To further address the concern o...
176
click to vote
JSSPP
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we address the problem of finding workload exchange policies for decentralized Computational Grids using an Evolutionary Fuzzy System. To this end, we establish a n...
154
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
127
click to vote
SCALESPACE
2009
Springer
15 years 11 months ago
2009
Springer
Matrix fields are important in many applications since they are the adequate means to describe anisotropic behaviour in image processing models and physical measurements. A promin...