8413 search results - page 1567 / 1683 » Ordering Problem Subgoals |
166
click to vote
ATAL
2007
Springer
16 years 16 days ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
178
click to vote
ATVA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
157
click to vote
CCS
2007
ACM
16 years 16 days ago
2007
ACM
To ameliorate the quality of protection provided by intrusion detection systems (IDS) we strongly need more effective evaluation and testing procedures. Evaluating an IDS against ...
171
click to vote
CIKM
2007
Springer
16 years 16 days ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
180
click to vote
CIKM
2007
Springer
16 years 16 days ago
2007
Springer
Recently, due to its wide applications, subgraph search has attracted a lot of attention from database and data mining community. Sub-graph search is defined as follows: given a ...