503 search results - page 3 / 101 » A multivalued knowledge-base model |
148
click to vote
ICALP
2004
Springer
15 years 11 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...
143
click to vote
ATVA
2009
Springer
16 years 12 days 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...
135
click to vote
FMOODS
2008
15 years 7 months 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...
193
click to vote
KR
2010
Springer
15 years 3 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...
127
click to vote
SCALESPACE
2007
Springer
15 years 12 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...