2694 search results - page 389 / 539 » A Description Logic of Change |
153
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
180
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
228
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
156
click to vote
FTDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...
186
click to vote
ADBIS
2003
Springer
15 years 11 months ago
2003
Springer
We present an approach of how to extract automatically an XML document structure from a conceptual data model that describes the content of a document. We use UML class diagrams as...