3779 search results - page 259 / 756 » Linear Consistency Testing |
157
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
We propose a general methodology for approximating the Pareto front of multi-criteria optimization problems. Our search-based methodology consists of submitting queries to a constr...
170
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
137
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
152
click to vote
EP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The singular value decomposition, or SVD , has been studied in the past as a tool for detecting and understanding patterns in a collection of documents. We show how the m...
177
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
This paper applies a Bayesian network to model multi criteria distribution maps and to discover knowledge contained in spatial data. The procedure consists of three steps: pre pro...