4488 search results - page 27 / 898 » Properties of NP-Complete Sets |
FSS
2002
13 years 7 months ago
2002
In this paper we analyze the lexicographical solution for fuzzy TU games, we study its properties and obtain a characterization. The lexicographical solution was introduced by Sak...
CIE
2009
Springer
14 years 2 months ago
2009
Springer
This paper studies the Turing degrees of various properties defined for universal numberings, that is, for numberings which list all partial-recursive functions. In particular pro...
ICSE
2003
IEEE-ACM
14 years 1 months ago
2003
IEEE-ACM
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
DBPL
1993
Springer
13 years 12 months ago
1993
Springer
In this paper we study the expressive power of query languages for nested bags. We de ne the ambient bag language by generalizing the constructs of the relational language of Brea...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...