8413 search results - page 1151 / 1683 » Ordering Problem Subgoals |
247
click to vote
JELIA
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
201
click to vote
SELMAS
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
205
click to vote
DASFAA
2003
IEEE
16 years 12 days ago
2003
IEEE
Modern database applications including computeraided design (CAD), medical imaging, or molecular biology impose new requirements on spatial query processing. Particular problems a...
190
Voted
HICSS
2003
IEEE
16 years 12 days 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...
216
click to vote
DIALM
2003
ACM
16 years 11 days ago
2003
ACM
We study topology control problems in ad hoc networks, where network nodes get to choose their power levels in order to ensure desired connectivity properties. Unlike most other w...