1142 search results - page 112 / 229 » Approximability of Clausal Constraints |
146
click to vote
IJCNN
2006
IEEE
16 years 14 days ago
2006
IEEE
— Area Under the ROC Curve (AUC) is often used to evaluate ranking performance in binary classification problems. Several researchers have approached AUC optimization by approxi...
165
click to vote
ICTCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
168
click to vote
RSFDGRC
2005
Springer
15 years 12 months ago
2005
Springer
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
173
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
183
click to vote
COCOA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we study an efficient approximate integer linear programming formulation of the general problem of one-dimensional periodic task scheduling under storage r...