1175 search results - page 16 / 235 » A scalable method for the generation of small test sets |
CRV
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe a method to segment rectangular objects that lie on a slightly textured background of an a-priori unknown colour. Our contribution consists of a fast and accurate back...
ESWS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Aiming to build a complete benchmark for better evaluation of existing ontology systems, we extend the well-known Lehigh University Benchmark in terms of inference and sc...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
AAAI
2000
13 years 9 months ago
2000
One challenge for research in constraint-based scheduling has been to produce scalable solution procedures under fairly general representational assumptions. Quite often, the comp...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
This paper describes a new methodology and associated theoretical analysis for rapid and accurate extraction of activation regions from functional MRI data. Most fMRI data analysi...