231 search results - page 3 / 47 » A Brief Overview of PVS |
CORR
2006
Springer
13 years 5 months ago
2006
Springer
This article basically consists of three differentiated but related between themselves parts. The first part is a brief overview of the Artificial Intelligence science (in it, the...
ISMIR
2005
Springer
13 years 11 months ago
2005
Springer
er is an extended abstract which provides a brief preliminary overview of the 2005 Music Information Retrieval Evaluation eXchange (MIREX 2005). The MIREX organizational framework...
FMCO
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
ENTCS
2011
13 years 21 days ago
2011
This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attentio...
IFGIS
2009
Springer
14 years 10 days ago
2009
Springer
Self-Organizing Maps (SOMs), or Kohonen networks, are widely used neural network architecture. This paper starts with a brief overview of how SOMs can be used in different types of...