Sciweavers

9425 search results - page 456 / 1885
» Some Notes on Models and Modelling
Sort
View
ECML
2005
Springer
15 years 10 months ago
U-Likelihood and U-Updating Algorithms: Statistical Inference in Latent Variable Models
Abstract. In this paper we consider latent variable models and introduce a new U-likelihood concept for estimating the distribution over hidden variables. One can derive an estimat...
JaeMo Sung, Sung Yang Bang, Seungjin Choi, Zoubin ...
154
Voted
ISW
2004
Springer
15 years 10 months ago
Model-Checking Access Control Policies
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobben...
PARA
2004
Springer
15 years 10 months ago
Parallel Discrete Event Simulations of Grid-Based Models: Asynchronous Electromagnetic Hybrid Code
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
Homa Karimabadi, Jonathan Driscoll, Jagrut Dave, Y...
153
Voted
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 10 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
HICSS
2003
IEEE
104views Biometrics» more  HICSS 2003»
15 years 10 months ago
Does e-Business Modeling Really Help?
Many innovative e-business ideas are hardly understood by their stakeholders when articulated just by words. To create a better, also shared, understanding, and to enhance confid...
Jaap Gordijn, Hans Akkermans