| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
2007
|
|
|
2007
|
20 |
2 |
p. 133
|
article
|
| 2 |
2007
|
|
|
2007
|
20 |
2 |
p. 133
|
article
|
| 3 |
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems
|
Torta, Gianluca
|
|
2007
|
20 |
2 |
p. 93-116
|
article
|
| 4 |
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems
|
Torta, Gianluca
|
|
2007
|
20 |
2 |
p. 93-116
|
article
|
| 5 |
An upper bound on computing all X-minimal models
|
Avin, Chen
|
|
2007
|
20 |
2 |
p. 87-92
|
article
|
| 6 |
An upper bound on computing all X-minimal models
|
Avin, Chen
|
|
2007
|
20 |
2 |
p. 87-92
|
article
|
| 7 |
LRBNN: A Lazy Radial Basis Neural Network model
|
Valls, José M.
|
|
2007
|
20 |
2 |
p. 71-86
|
article
|
| 8 |
LRBNN: A Lazy Radial Basis Neural Network model
|
Valls, José M.
|
|
2007
|
20 |
2 |
p. 71-86
|
article
|
| 9 |
Marco Cadoli (1965–2006)
|
Schaerf, Marco
|
|
2007
|
20 |
2 |
p. 69-70
|
article
|
| 10 |
Marco Cadoli (1965–2006)Dipartimento di Informatica e Sistemistica, Antonio Ruberti Sapienza Universitá di Roma
|
Schaerf, Marco
|
|
2007
|
20 |
2 |
p. 69-70
|
article
|
| 11 |
New heuristics in feature selection for high dimensional data
|
Ruiz, Roberto
|
|
2007
|
20 |
2 |
p. 129-131
|
article
|
| 12 |
New heuristics in feature selection for high dimensional data
|
Ruiz, Roberto
|
|
2007
|
20 |
2 |
p. 129-131
|
article
|
| 13 |
Redesign support framework for complex technical processes
|
Lopez-Arevalo, Ivan
|
|
2007
|
20 |
2 |
p. 127-128
|
article
|
| 14 |
Redesign support framework for complex technical processes
|
Lopez-Arevalo, Ivan
|
|
2007
|
20 |
2 |
p. 127-128
|
article
|
| 15 |
The 3rd IJCAR Automated Theorem Proving Competition
|
Sutcliffe, Geoff
|
|
2007
|
20 |
2 |
p. 117-126
|
article
|
| 16 |
The 3rd IJCAR Automated Theorem Proving Competition
|
Sutcliffe, Geoff
|
|
2007
|
20 |
2 |
p. 117-126
|
article
|
Journal description