1525 search results - page 153 / 305 » Matching with Regular Constraints |
122
click to vote
CASES
2000
ACM
15 years 8 months ago
2000
ACM
Increasing of computation needs and improving of processor integration make the mapping of embedded real-time applications more and more expensive. PROMPT [1] provides a new appro...
134
click to vote
EUROMICRO
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
AAAI
2007
15 years 6 months ago
2007
The goal of our current research is machine learning with the help and guidance of a knowledge base (KB). Rather than learning numerical models, our approach generates explicit sy...
165
click to vote
CASC
2009
Springer
15 years 5 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
132
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper a novel approach for semi-supervised hyperspectral unmixing is presented. First, it is shown that this problem inherently accepts a sparse solution. Then, based on t...