1178 search results - page 214 / 236 » An Approach to Exploring Description Logic Knowledge Bases |
EKAW
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we explore the use of location aware mobile devices for searching and browsing a large number of general and cultural heritage information repositories. Based on GPS ...
107
click to vote
ICALP
2009
Springer
16 years 3 days ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
110
click to vote
AIL
2007
14 years 12 months ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
133
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
104
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...