3333 search results - page 423 / 667 » Abstract Proof Search |
183
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
. OSCAR3 is an open extensible system for the automated annotation of chemistry in scientific articles, which can process thousands of articles per hour. This XML annotation suppor...
172
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Bucket elimination (BE) is an exact technique based on variable elimination, commonly used for solving constraint satisfaction problems. We consider the hybridization of ...
162
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We motivate and describe an analog evolvable hardware design platform named GRACE (i.e. Generative Robust Analog Circuit Exploration). GRACE combines coarse-grained, topo...
152
click to vote
ICES
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. An evolutionary algorithm is used to evolve a digital circuit which computes a simple hash function mapping a 16-bit address space into an 8-bit one. The target technolog...
150
click to vote
CSC
2006
15 years 8 months ago
2006
Abstract: Tikhonov regularization is a popular and effective method for the approximate solution of illposed problems, including Fredholm equations of the first kind. The Tikhonov ...