3914 search results - page 465 / 783 » Automating SLA modeling |
211
click to vote
AVSS
2006
IEEE
16 years 24 days ago
2006
IEEE
Dual camera systems (omnidirectional and slaved PTZ cameras) are widely used in public area monitoring and target tracking. However, due to their low and non-uniform resolution, o...
188
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
205
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
165
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
164
click to vote
ECSQARU
2005
Springer
16 years 8 days ago
2005
Springer
In a Bayesian network with continuous variables containing a variable(s) that is a conditionally deterministic function of its continuous parents, the joint density function for t...