Sciweavers

1866 search results - page 80 / 374
» Dynamic instantiation-checking components
Sort
View
122
Voted
ECAI
2006
Springer
15 years 7 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
ICSE
2000
IEEE-ACM
15 years 6 months ago
A case study: demands on component-based development
Building software systems with reusable components brings many advantages. The development becomes more efficient, the reliability of the products is enhanced, and the maintenance...
Ivica Crnkovic, Magnus Larsson
ESOP
2006
Springer
15 years 7 months ago
Types for Dynamic Reconfiguration
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
João Costa Seco, Luís Caires
ICARCV
2008
IEEE
170views Robotics» more  ICARCV 2008»
15 years 9 months ago
Mixed state estimation for a linear Gaussian Markov model
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...
Argyris Zymnis, Stephen P. Boyd, Dimitry M. Gorine...
CVPR
2004
IEEE
16 years 5 months ago
Motion-Based Background Subtraction Using Adaptive Kernel Density Estimation
Background modeling is an important component of many vision systems. Existing work in the area has mostly addressed scenes that consist of static or quasi-static structures. When...
Anurag Mittal, Nikos Paragios