503 search results - page 3 / 101 » A multivalued knowledge-base model |
ICALP
2004
Springer
14 years 4 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
ATVA
2009
Springer
14 years 5 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
FMOODS
2008
14 years 10 days ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
KR
2010
Springer
13 years 8 months ago
2010
Springer
Measuring the inconsistency degree of a knowledge base can help us to deal with inconsistencies. Several inconsistency measures have been given under different multi-valued semant...
SCALESPACE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We propose a variational approach for multi-valued velocity field estimation in transparent sequences. Starting from existing local motion estimators, we show a variatio...