9145 search results - page 89 / 1829 » Description Logic Systems |
144
Voted
DLOG
2003
15 years 6 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...
204
click to vote
GEOINFORMATICA
2011
14 years 12 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...
149
Voted
CAV
2005
Springer
15 years 10 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...
113
Voted
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
81
Voted
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
