4488 search results - page 319 / 898 » Properties of NP-Complete Sets |
152
Voted
ATVA
2005
Springer
16 years 12 days ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
209
Voted
ICFCA
2005
Springer
16 years 11 days ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
177
click to vote
SAS
2005
Springer
16 years 10 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
187
click to vote
WILF
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper we propose a representation for 13 relation...
184
Voted
PCM
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we proposed a novel decision fusion scheme based on the psychological observations on human beings’ visual and aural attention characteristics, which combines a se...