4701
M.A.R.E. - Multimedia Aided Evaluation Reasoning. Un sistema multimediale per la valutazione e la stimolazione dei processi logico-cognitivi del bambino
M. Allegra; A. Chifari; G. Fulantelli; A.M. Greco; S. Ottaviano; R. Rizzo
 08 Report e Working Paper::08.04 Rapporto tecnico 1995
4702
A PARALLEL BLOCK LANCZOS ALGORITHM FOR DISTRIBUTED MEMORY ARCHITECTURES
Guarracino, MARIO ROSARIO; Perla, Francesca
PARALLEL ALGORITHMS AND APPLICATIONS
 01 Contributo su Rivista::01.01 Articolo in rivista 1994
4703
EXPLAINING INCOMPATIBILITIES IN DATA DICTIONARY DESIGN THROUGH ABDUCTION
Pirri, F; Pizzuti, Clara; C,
DATA & KNOWLEDGE ENGINEERING
 01 Contributo su Rivista::01.01 Articolo in rivista 1994
4704
SYNC-WAVE: a high accuracy and low overhead algorithm for clock syncronization in transputer networks
Giuseppe de Pietro; Umberto Villano
MICROPROCESSORS AND MICROSYSTEMS
 01 Contributo su Rivista::01.01 Articolo in rivista 1994
4705
Using MPP for image histogramming
Dellavecchia, G; Distasi, R
 04 Contributo in convegno::04.01 Contributo in Atti di convegno 1994
4706
Characterizing Prime implicants as Projective Spaces
Pirri, F; Pizzuti, C
 04 Contributo in convegno::04.01 Contributo in Atti di convegno 1993
4707
Using Datalog as a Language for Data Dictionary Design : a Deductive Support
Pirri, F; Pizzuti, C
 04 Contributo in convegno::04.01 Contributo in Atti di convegno 1993
4708
Communication Support for a Massively Parallel System
G. Della Vecchia; C. Sanges; E. Tarantino; R. Vaccaro
 04 Contributo in convegno::04.01 Contributo in Atti di convegno 1992
4709
Quering Incomplete Knowledge Bases with Abduction
Pirri, F; Pizzuti, C
 04 Contributo in convegno::04.01 Contributo in Atti di convegno 1991
4710
A Stable Model Semantics for Diagnostic Hypothesis
Pirri, F; Pizzuti, C
 04 Contributo in convegno::04.01 Contributo in Atti di convegno 1990