4270 search results - page 211 / 854 » A Permutation Approach to Validation |
159
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
145
click to vote
WSC
2007
15 years 8 months ago
2007
This article deals with an approach for managing scheduling in semiconductor manufacturing facilities. The proposed approach ensures consistency between global and local schedulin...
175
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We propose a novel approach that reduces cost-sensitive classification to one-sided regression. The approach stores the cost information in the regression labels and encodes the m...
146
click to vote
ICWS
2010
IEEE
15 years 4 months ago
2010
IEEE
WS-Policy is a standard to express requirements and capabilities in Web service systems. Policies are based on domain-specific assertions. In this paper we present a lightweight ap...
268
click to vote
SAT
2011
Springer
14 years 9 months ago
2011
Springer
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...