4962 search results - page 348 / 993 » Stochastic Model Checking |
116
click to vote
SACMAT
2010
ACM
15 years 8 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
110
Voted
MICCAI
2002
Springer
16 years 4 months ago
2002
Springer
The development of Diffusion Tensor MRI has raised hopes in the neuro-science community for in vivo methods to track fiber paths in the white matter. A number of approaches have be...
161
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
We present a new fast implementation of a non-rigid registration algorithm, based on a finite element elastic deformation model using the mutual information metric with a linear e...
135
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
We model budget-constrained keyword bidding in sponsored search auctions as a stochastic multiple-choice knapsack problem (S-MCKP) and design an algorithm to solve S-MCKP and the ...
110
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
One novel technique for identifying the writer of an online handwritten document is proposed. This technique makes use of a character prototype distribution to model the specific ...