41938 search results - page 200 / 8388 » Complex Systems Modeling |
182
click to vote
LFCS
2007
Springer
16 years 14 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
185
click to vote
IVC
2006
15 years 6 months ago
2006
Objects in the world exhibit complex interactions. When captured in a video sequence, some interactions manifest themselves as occlusions. A visual tracking system must be able to...
157
click to vote
MODELS
2007
Springer
16 years 14 days ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
216
click to vote
EEMMAS
2007
Springer
16 years 15 days ago
2007
Springer
Complexity of near future and even nowadays applications is exponentially increasing. In order to tackle the design of such complex systems, being able to engineer self-organising ...
152
Voted
ACSD
2007
IEEE
16 years 21 days ago
2007
IEEE
The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timelines...