Sciweavers

407 search results - page 12 / 82
» Applying Learning by Examples for Digital Design Automation
Sort
View
DAC
2006
ACM
14 years 8 months ago
Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming
In this paper, we propose an exact algorithm for the problem of area optimization under a delay constraint in the synthesis of multiplierless FIR filters. To the best of our knowl...
Eduardo A. C. da Costa, José Monteiro, Leve...
MKM
2004
Springer
14 years 25 days ago
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
Lori Lorigo, Jon M. Kleinberg, Richard Eaton, Robe...
KDD
2008
ACM
137views Data Mining» more  KDD 2008»
14 years 7 months ago
Learning classifiers from only positive and unlabeled data
The input to an algorithm that learns a binary classifier normally consists of two sets of examples, where one set consists of positive examples of the concept to be learned, and ...
Charles Elkan, Keith Noto
C5
2003
IEEE
14 years 23 days ago
Initial Experiences of ALAN-K: An Advanced LeArning Network in Kyoto
This paper describes the start-up phase of the ALAN-K (Advanced LeArning Network in Kyoto) project, which is part of a major effort to create new learning environments for element...
Shin'ichi Konomi, Hiroki Karuno
LCTRTS
2007
Springer
14 years 1 months ago
Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration o
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
Richard Vincent Bennett, Alastair Colin Murray, Bj...