13977 search results - page 603 / 2796 » Evolution in complex systems |
208
click to vote
KBS
2002
15 years 6 months ago
2002
There is a variety of applications that can benefit from the ability to find optimal or good solutions to a proposed problem automatically. The Artificial Intelligent (AI) communi...
229
click to vote
NFM
2011
15 years 2 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
176
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
We present a novel and intuitive framework for building modular vision systems for complex tasks such as surveillance applications. Inspired by graphical models, especially factor...
198
click to vote
ICAS
2009
IEEE
16 years 1 months ago
2009
IEEE
The volumes of data in information systems are growing drastically. The systems become increasingly complex in trying to handle heterogeneity of ubiquitous components, standards, ...
192
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...