Sciweavers

861 search results - page 27 / 173
» A General Framework for Knowledge Compilation
Sort
View
ECML
2005
Springer
14 years 2 months ago
Rotational Prior Knowledge for SVMs
Incorporation of prior knowledge into the learning process can significantly improve low-sample classification accuracy. We show how to introduce prior knowledge into linear supp...
Arkady Epshteyn, Gerald DeJong
IEEEPACT
2008
IEEE
14 years 2 months ago
A tuning framework for software-managed memory hierarchies
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...
Manman Ren, Ji Young Park, Mike Houston, Alex Aike...
IJCAI
1997
13 years 9 months ago
Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning
The class of algorithms for approximating reasoning tasks presented in this paper is based on approximating the general bucket elimination framework. The algorithms have adjustabl...
Rina Dechter
WWW
2008
ACM
14 years 9 months ago
A logical framework for modeling and reasoning about semantic web services contract
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
Hai Liu, Qing Li, Naijie Gu, An Liu
ICFP
2008
ACM
14 years 8 months ago
A scheduling framework for general-purpose parallel languages
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
Matthew Fluet, Mike Rainey, John H. Reppy