Sciweavers

9697 search results - page 408 / 1940
» Intelligent Transportation Systems
Sort
View
ICAIL
2007
ACM
15 years 8 months ago
P2P systems in legal networks: another "small world" case
The “small world”-paradigm offers a new interesting viewpoint for the analysis of contemporary legal networks and artificial intelligence. This topological approach sheds fu...
Ugo Pagallo, Giancarlo Ruffo
SOFTCOMP
2010
15 years 5 months ago
Approaching Real-Time Intrusion Detection through MOVICAB-IDS
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...
Martí Navarro, Álvaro Herrero, Emili...
ATAL
2003
Springer
16 years 20 hour ago
Engineering commitment-based multiagent systems: a temporal logic approach
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
Jie Xing, Munindar P. Singh
FLAIRS
2008
15 years 9 months ago
Visualization Techniques for the Evaluation of Knowledge Systems
Although various methods for the evaluation of intelligent systems have been proposed in the past, almost no techniques are present that support the manual inspection of knowledge...
Joachim Baumeister, Martina Menge, Frank Puppe
TABLEAUX
1999
Springer
15 years 11 months ago
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
Volker Haarslev, Ralf Möller