169 search results - page 13 / 34 » Temporal Reasoning in Nested Temporal Networks with Alternat... |
AAAI
2007
13 years 9 months ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
E2EMON
2006
IEEE
14 years 1 months ago
2006
IEEE
—In this paper we present a way of tuning the temporal characteristics of a new available-bandwidth estimation method, BART. The estimation engine in this method is Kalman-filter...
TIME
2009
IEEE
14 years 2 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
HAIS
2010
Springer
14 years 9 days ago
2010
Springer
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...
CONCUR
2011
Springer
12 years 7 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...