Sciweavers

7335 search results - page 939 / 1467
» Scene Based Reasoning
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
Semantic Web Languages - Towards an Institutional Perspective
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
CCS
2006
ACM
15 years 10 months ago
Time series modeling for IDS alert management
Intrusion detection systems create large amounts of alerts. Significant part of these alerts can be seen as background noise of an operational information system, and its quantity...
Jouni Viinikka, Hervé Debar, Ludovic M&eacu...
CSL
2006
Springer
15 years 10 months ago
A Sequent Calculus for Type Theory
Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search in such theories, we introduce the Pure Type Sequent...
Stéphane Lengrand, Roy Dyckhoff, James McKi...
DSOM
2006
Springer
15 years 10 months ago
Using Argumentation Logic for Firewall Policy Specification and Analysis
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu,...
EDUTAINMENT
2006
Springer
15 years 10 months ago
Haptic Puppetry for Interactive Games
In interactive computer games and computer animation, intuitively controlling the motion of an articulated character is considered as a difficult task. One of the reasons is that, ...
Sujeong Kim, Xinyu Zhang, Young J. Kim