5251 search results - page 302 / 1051 » A Framework for Ontology Integration |
171
click to vote
TABLEAUX
2005
Springer
16 years 7 days ago
2005
Springer
Unit propagation is one of the most important techniques of efficient SAT solvers. Unfortunately, this technique is not directly applicable to first-order clausal tableaux. We sho...
148
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Observational data (i.e., data that records observations and measurements) plays a key role in many scientific disciplines. Observational data, however, are typically structured an...
172
click to vote
JLP
2006
15 years 6 months ago
2006
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...
191
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Several techniques have been defined for the monitoring and adaptation of applications. However, such techniques usually work in isolation and cannot be easily integrated to tackle...
171
Voted
WEA
2005
Springer
16 years 7 days ago
2005
Springer
We present a general framework for approximating several NP-hard problems that have two underlying properties in common. First, the problems we consider can be formulated as intege...