Sciweavers

4126 search results - page 624 / 826
» Set based logic programming
Sort
View
BTW
2001
Springer
129views Database» more  BTW 2001»
15 years 7 months ago
Schema Evolution in Federated Information Systems
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
Susanne Busse, Claudia Pons
FPL
2000
Springer
96views Hardware» more  FPL 2000»
15 years 6 months ago
Generation of Design Suggestions for Coarse-Grain Reconfigurable Architectures
Coarse-grain reconfigurable architectures have been a matter of intense research in the last few years. They promise to be more adequate for computational tasks due to their better...
Reiner W. Hartenstein, Michael Herz, Thomas Hoffma...
ATAL
2008
Springer
15 years 5 months ago
Semantic matchmaking of web services using model checking
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
Akin Günay, Pinar Yolum
AGI
2008
15 years 4 months ago
OSCAR: An Architecture for Generally Intelligent Agents
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
John L. Pollock
OWLED
2008
15 years 4 months ago
Augmenting the Expressivity of the Ontology Pre-Processor Language
We present the latest release of the Ontology Pre-Processor Language, a language for querying and modifying Description Logic knowledge bases expressed in OWL. We briefly describe ...
Luigi Iannone, Mikel Egaña Aranguren, Alan ...