4894 search results - page 203 / 979 » Choices |
189
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
147
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
The choice of transfer functions may strongly influence complexity and performance of neural networks used in classification and approximation tasks. A taxonomy of activation an...
158
click to vote
IRAL
2000
ACM
15 years 11 months ago
2000
ACM
: In the processing of Chinese documents and queries in information retrieval (IR), one has to identify the units that are used as indexes. Words and n-grams have been used as inde...
200
Voted
AI
2000
Springer
15 years 11 months ago
2000
Springer
Domain independent planners can produce better-quality plans through the use of domain-speci c knowledge, typically encoded as search control rules. The planning-by-rewriting appro...
169
click to vote
BMCV
2000
Springer
15 years 11 months ago
2000
Springer
The paper is a short tutorial on the multiscale differential geometric possibilities of the front-end visual receptive fields, modeled by Gaussian derivative kernels. The paper is ...