Sciweavers

2253 search results - page 88 / 451
» The ComFoRT Reasoning Framework
Sort
View
RAID
2004
Springer
14 years 3 months ago
Formal Reasoning About Intrusion Detection Systems
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Ka...
DLOG
2008
14 years 8 days ago
Visualization of Description Logic Models
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
Fernando Náufel do Amaral, Carlos Bazilio M...
DEON
2008
Springer
13 years 11 months ago
Introducing Grades in Deontic Logics
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deont...
Pilar Dellunde, Lluis Godo
ICVGIP
2004
13 years 11 months ago
Active 3-D Object Recognition Using Appearance-Based Aspect Graphs
We present a new active active recognition scheme (using an uncalibrated camera) based on a new idea, appearancebased aspect graphs. The scheme is robust to background clutter, an...
Sumantra Dutta Roy, Nirupama Kulkarni
IJCAI
2003
13 years 11 months ago
Causal Theories of Action: A Computational Core
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regressio...
Jérôme Lang, Fangzhen Lin, Pierre Mar...