231 search results - page 3 / 47 » A Brief Overview of HOL4 |
ICMCS
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper provides a brief overview of recent progress of peer-to-peer (P2P) technologies for multimedia applications. We provide an overview of the technical challenges, creativ...
CORR
2006
Springer
13 years 4 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 10 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 10 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 ...
IFGIS
2009
Springer
13 years 11 months 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...