Sciweavers

2208 search results - page 6 / 442
» On Issues of Instance Selection
Sort
View
SAT
2009
Springer
103views Hardware» more  SAT 2009»
14 years 5 hour ago
Instance-Based Selection of Policies for SAT Solvers
Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic pol...
Mladen Nikolic, Filip Maric, Predrag Janicic
SEMWEB
2010
Springer
13 years 5 months ago
Adding Integrity Constraints to the Semantic Web for Instance Data Evaluation
This paper presents our work on supporting evaluation of integrity constraint issues in semantic web instance data. We propose an alternative semantics for the ontology language, i...
Jiao Tao
CVPR
2010
IEEE
14 years 3 months ago
Breaking the interactive bottleneck in multi-class classification with active selection and binary feedback
Multi-class classification schemes typically require human input in the form of precise category names or numbers for each example to be annotated – providing this can be impra...
Ajay Joshi, Fatih Porikli, Nikolaos Papanikolopoul...
ATAL
2008
Springer
13 years 9 months ago
Cost-based BDI plan selection for change propagation
Software maintenance is responsible for as much as two thirds of the cost of any software, and is consequently an important research area. In this paper we focus on the change pro...
Khanh Hoa Dam, Michael Winikoff