7557 search results - page 358 / 1512 » Modeling Timed Concurrent Systems |
176
click to vote
ICANN
2007
Springer
16 years 26 days ago
2007
Springer
Many applications would emerge from the development of artificial systems able to accurately localize and identify sound sources. However, one of the main difficulties of such kin...
196
click to vote
IJCAI
1993
15 years 8 months ago
1993
Anytime algorithms, whose quality of results improves gradually as computation time increases, provide useful performance components for timecritical planning and control of robot...
165
click to vote
APN
2005
Springer
16 years 7 days ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
176
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The premise of automated alert correlation is to accept that false alerts from a low level intrusion detection system are inevitable and use attack models to explain the output in ...