861 search results - page 96 / 173 » A General Framework for Knowledge Compilation |
SIGADA
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
156
click to vote
Book
"Constraint satisfaction is a general problem in which the goal is to find values for a set of variables that will satisfy a given set of constraints. It is the core of many a...
ODBIS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The algorithms dealing with the incorporation of new knowledge in an ontology (ontology evolution) often share a rather standard process of dealing with changes. This pro...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
In [15] we introduced the information landscape as a new concept of a landscape. We showed that for a landscape of a small size, information landscape theory can be used to predic...
132
click to vote
LEC
2002
IEEE
15 years 2 months ago
2002
IEEE
Adoptable, high performing, large scale ontologies that can be extended to support multi-media play a crucial role in building effective content and knowledge management systems a...