96 search results - page 16 / 20 » Complexity of Decision Problems for Mixed and Modal Specific... |
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper describes a novel approach using Hidden Markov Models (HMM) to detect complex Internet attacks. These attacks consist of several steps that may occur over an extended pe...
CCE
2005
14 years 9 months ago
2005
This paper presents a continuous-time mathematical formulation for freshwater and wastewater minimisation in multipurpose batch plants with and without a central reusable water st...
AAAI
2010
14 years 11 months ago
2010
The behavior of a complex system often depends on parameters whose values are unknown in advance. To operate effectively, an autonomous agent must actively gather information on t...
172
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
77
Voted
JCM
2006
14 years 9 months ago
2006
Decentralized sensor networks are collections of individual local sensors that observe a common phenomenon, quantize their observations, and send this quantized information to a ce...