Sciweavers

2599 search results - page 283 / 520
» An Operational Semantics for Knowledge Bases
Sort
View
BPM
2006
Springer
126views Business» more  BPM 2006»
15 years 8 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner
KES
2008
Springer
15 years 6 months ago
Knowledge-based genetic algorithm for university course timetabling problems
This paper discusses a new solution to university course timetabling problems. The problems that belong to the NP-hard class are very difficult to solve using conventional optimiza...
Hitoshi Kanoh, Yuusuke Sakamoto
WWW
2005
ACM
16 years 7 months ago
XQuery containment in presence of variable binding dependencies
Semantic caching is an important technology for improving the response time of future user queries specified over remote servers. This paper deals with the fundamental query conta...
Li Chen, Elke A. Rundensteiner
JELIA
2010
Springer
15 years 5 months ago
Parametrized Logic Programming
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
Ricardo Gonçalves, José Júlio...
SEMWEB
2010
Springer
15 years 4 months ago
Exploiting Relation Extraction for Ontology Alignment
When multiple ontologies are used within one application system, aligning the ontologies is a prerequisite for interoperability and unhampered semantic navigation and search. Vario...
Elena Beisswanger