9425 search results - page 269 / 1885 » Some Notes on Models and Modelling |
123
Voted
AVSS
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose a method for create a background model in non-stationary scenes. Each pixel has a dynamic Gaussian mixture model. Our approach can automatically change the number of Ga...
124
click to vote
COORDINATION
2005
Springer
15 years 9 months ago
2005
Springer
Within one model, behavioural consistency of its constituents is often problematic. Within UML such horizontal behavioural consistency between the objects of a concrete model, is p...
131
click to vote
CVBIA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we propose a new framework for active contour and surface models. Based on the concepts of the elastic interaction between line defects in solids, this framework deï...
131
Voted
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
122
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...