Sciweavers

5372 search results - page 861 / 1075
» complexity 2007
Sort
View
DLOG
2007
15 years 7 months ago
Action Based ABox Update: an Example from the Chemical Compound Formulation
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
Alessandro Mosca, Matteo Palmonari
147
Voted
DLOG
2007
15 years 7 months ago
OntoVQL: A Graphical Query Language for OWL Ontologies
The database usability experience has shown that visual query languages tend to be superior to textual languages in many aspects. By applying this principle in the context of ontol...
Amineh Fadhil, Volker Haarslev
171
Voted
DLOG
2007
15 years 7 months ago
Blocking Automata for PSPACE DLs
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
Franz Baader, Jan Hladik, Rafael Peñaloza
129
Voted
FLAIRS
2007
15 years 7 months ago
A Generic Memory Module for Events
Intelligent systems need to store their experience so that it can be reused. A memory for such systems needs to efficiently organize and search previous experience and to retriev...
Dan Tecuci, Bruce W. Porter
LISA
2007
15 years 7 months ago
PolicyVis: Firewall Security Policy Visualization and Inspection
Firewalls have an important role in network security. However, managing firewall policies is an extremely complex task because the large number of interacting rules in single or d...
Tung Tran, Ehab S. Al-Shaer, Raouf Boutaba