Sciweavers

11151 search results - page 340 / 2231
» On the Complexity of Model Expansion
Sort
View
ISDA
2010
IEEE
15 years 4 months ago
Self-adaptive Gaussian mixture models for real-time video segmentation and background subtraction
The usage of Gaussian mixture models for video segmentation has been widely adopted. However, the main difficulty arises in choosing the best model complexity. High complex models ...
Nicola Greggio, Alexandre Bernardino, Cecilia Lasc...
ICSE
1999
IEEE-ACM
15 years 11 months ago
Architectural Framework Modeling in Telecommunication Domain
Architectural frameworks have shown to increase the design reusability in large-scale object-oriented systems. Drawing on experience in complex software systems development in tel...
Giulio Fregonese, Alessandro Zorer, Giovanni Corte...
ECAI
2006
Springer
15 years 11 months ago
Learning Behaviors Models for Robot Execution Control
Robust execution of robotic tasks is a difficult problem. In many situations, these tasks involve complex behaviors combining different functionalities (e.g. perception, localizat...
Guillaume Infantes, Félix Ingrand, Malik Gh...
MASCOTS
2004
15 years 9 months ago
Large-Scale Simulation Models of BGP
The complex nature of the Border Gateway Protocol (BGP) is not amenable to analytical modeling, and thus simulation
Xenofontas A. Dimitropoulos, George F. Riley
CORR
2008
Springer
89views Education» more  CORR 2008»
15 years 7 months ago
Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
Barnaby Martin