2414 search results - page 131 / 483 » Reasoning Support for OWL-E |
190
click to vote
PVM
2001
Springer
15 years 10 months ago
2001
Springer
Query processing in database systems may be improved by applying parallel processing techniques. One reason for improving query response time is to support the increased number que...
148
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
This paper provides general information about research at the University of Auckland into autonomous agents in highly dynamic environments, in particular in RoboCup. The paper desc...
152
click to vote
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
155
click to vote
MMS
2007
15 years 7 months ago
2007
Abstract: Mobile information system require client side caching of data for various reasons. Caching issues are discussed in many scientific publications that mostly lack an usabl...
201
click to vote
JAR
2008
15 years 5 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...