11436 search results - page 182 / 2288 » Modeling Real Reasoning |
220
click to vote
SOFTCOMP
2010
15 years 1 months ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
173
Voted
ATAL
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
124
click to vote
AAAI
2008
15 years 5 months ago
2008
What local action can agents take, without the benefit of global knowledge, to produce the best global solution? Many dynamic distributed systems can be modeled using techniques f...
126
click to vote
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
126
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...