7009 search results - page 471 / 1402 » Patterns in Complex Systems Modeling |
223
click to vote
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
202
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
We propose a simple model of human motion as a switching linear dynamical system where the switches correspond to contact forces with the ground. This significantly improves the m...
222
click to vote
WSC
1998
15 years 9 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
221
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
201
click to vote
ICDM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--We address the problem of detecting characteristic patterns in communication networks. We introduce a scalable approach based on set-system discrepancy. By implicitly lab...