9145 search results - page 89 / 1829 » Description Logic Systems |
107
Voted
DLOG
2003
15 years 2 months ago
2003
This paper presents an application of a DL reasoner to the optimization of an object-relational query language. Queries containing aggregate functions are difficult to optimize be...
143
Voted
GEOINFORMATICA
2011
14 years 7 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
113
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
75
Voted
SOFSEM
2010
Springer
15 years 9 months ago
2010
Springer
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
