Sciweavers

8413 search results - page 466 / 1683
» Ordering Problem Subgoals
Sort
View
CN
2007
99views more  CN 2007»
15 years 6 months ago
Reducing the cost of applying adaptive test cases
The testing of a state-based system may involve the application of a number of adaptive test cases. Where the implementation under test (IUT) is deterministic, the response of the...
Robert M. Hierons, Hasan Ural
JMLR
2006
89views more  JMLR 2006»
15 years 6 months ago
Maximum-Gain Working Set Selection for SVMs
Support vector machines are trained by solving constrained quadratic optimization problems. This is usually done with an iterative decomposition algorithm operating on a small wor...
Tobias Glasmachers, Christian Igel
JSA
2006
88views more  JSA 2006»
15 years 6 months ago
Scheduling tasks sharing files on heterogeneous master-slave platforms
This paper is devoted to scheduling a large collection of independent tasks onto heterogeneous clusters. The tasks depend upon (input) files which initially reside on a master pro...
Arnaud Giersch, Yves Robert, Frédéri...
FSS
2007
82views more  FSS 2007»
15 years 6 months ago
An empirical test of some measurement-theoretic axioms for fuzzy sets
In the previous years some authors have been elaborating on the measurementtheoretic foundations of fuzzy set theory. A well-known problem in this approach is the difficult applic...
C. Desimpelaere, Thierry Marchant
STTT
2008
134views more  STTT 2008»
15 years 6 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan