258 search results - page 21 / 52 » A High-Level Language for Modeling Algorithms and Their Prop... |
175
Voted
EMNLP
2010
15 years 1 months ago
2010
In this paper, we develop multilingual supervised latent Dirichlet allocation (MLSLDA), a probabilistic generative model that allows insights gleaned from one language's data...
133
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
142
Voted
IJHPCA
2007
15 years 3 months ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
136
click to vote
JCS
2008
15 years 3 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
124
click to vote
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...