1804 search results - page 19 / 361 » On set systems with a threshold property |
FSS
2002
15 years 1 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...
133
click to vote
MODELS
2010
Springer
15 years 10 days ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
108
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
150
click to vote
CSMR
2000
IEEE
15 years 6 months ago
2000
IEEE
The assessment of the changeability of software systems is of major concern for buyers of the large systems found in fast-moving domains such as telecommunications. One way of app...
122
click to vote
AUSAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...