111 search results - page 12 / 23 » Combined Decision Techniques for the Existential Theory of t... |
IFIPTM
2010
13 years 5 months ago
2010
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
LPAR
2005
Springer
14 years 6 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
FSS
2008
13 years 6 months ago
2008
This paper introduces a new approach to classification which combines pairwise decomposition techniques with ideas and tools from fuzzy preference modeling. More specifically, our...
CP
2005
Springer
14 years 7 days ago
2005
Springer
The aggregation of individuals’ preferences into a single group outcome is both well-studied and fundamental within decision theory. Historically, though, a pervasive simplifica...
ICCV
2003
IEEE
14 years 7 hour ago
2003
IEEE
Detecting the dominant normal directions to the decision surface is an established technique for feature selection in high dimensional classification problems. Several approaches...