5251 search results - page 912 / 1051 » A Framework for Ontology Integration |
84
Voted
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...
111
click to vote
ECOOP
2004
Springer
15 years 5 months ago
2004
Springer
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
125
click to vote
CIKM
2006
Springer
15 years 5 months ago
2006
Springer
By providing an integrated and optimized support for user-defined aggregates (UDAs), data stream management systems (DSMS) can achieve superior power and generality while preservi...
122
click to vote
CLEAR
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we present two systems that were used for head pose estimation during the CLEAR06 Evaluation. We participated in two tasks: (1) estimating both pan and tilt orientat...
122
click to vote
ESWS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...