8874 search results - page 149 / 1775 » A New Implementation of Automath |
149
click to vote
AIPS
2000
15 years 5 months ago
2000
We describe in this paper a new method for extracting knowledge on Hierarchical Task-Network (HTN) planning problems for speeding up the search. This knowledge is gathered by prop...
169
click to vote
NN
2000
Springer
15 years 3 months ago
2000
Springer
Piecewise-linear (PWL) neural networks are widely known for their amenability to digital implementation. This paper presents a new algorithm for learning in PWL networks consistin...
131
click to vote
MSOM
2007
15 years 3 months ago
2007
New currency recirculation guidelines implemented by the Federal Reserve System (Fed) of the United States are intended to reduce the overuse of its currency processing services b...
150
click to vote
NAR
2007
15 years 3 months ago
2007
Onto-Tools is a freely available web-accessible software suite, composed of an annotation database and nine complementary data-mining tools. This article describes a new tool, Ont...
111
click to vote
ICIP
2000
IEEE
16 years 5 months ago
2000
IEEE
This paper proposes a new image representation scheme for database indexing. The application domain is \image-based" indexing as opposed to \content-based" indexing. In ...