1356 search results - page 85 / 272 » A variable-free dynamic semantics |
127
Voted
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
108
Voted
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
Physically based dynamic models are able to describe variable shapes without prior training. Their behaviour to find an object is intuitive, which facilitates corrections of false...
143
Voted
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
The dynamic texture (DT) is a probabilistic generative model, defined over space and time, that represents a video as the output of a linear dynamical system (LDS). The DT model ...
120
Voted
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
109
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...