R.T. 1996

Unification of Bounded Simple Set Terms in Deductive Databases
RT-ICAR-CS-96-01
di S. Greco, C. Mateis, E. Spadafora
pubblicato a /1996

LEGGI PUBBLICAZIONE

An algorithm for Enumerating Prime Implicants
RT-ICAR-CS-96-02
di L. Palopoli, F. Pirri, C. Pizzuti
pubblicato a /1996

LEGGI PUBBLICAZIONE

A Taxonomy of Query Complexity Classes
RT-ICAR-CS-96-03
di N. Leone, L. Palopoli, D. Saccà
pubblicato a /1996

LEGGI PUBBLICAZIONE

An active Language for Complex Object Databases with  Distributed Triggers
RT-ICAR-CS-96-04
di L. Palopoli, R. Torlone
pubblicato a /1996

LEGGI PUBBLICAZIONE

Solving an Optimization Problem Arising in Electrical Engineering
RT-ICAR-CS-96-05
di P. Daponte, D. Grimaldi, A. Molinaro, Ya.D.. Sergeyev
pubblicato a /1996

LEGGI PUBBLICAZIONE

Prime Implicants Generation with Preference Criteria
RT-ICAR-CS-96-06
di C. Pizzuti
pubblicato a /1996

LEGGI PUBBLICAZIONE

Visualizazione di Dati Scientifici in un Ambiente di Simulazione Parallelo
RT-ICAR-CS-96-07
di G. Spezzano
pubblicato a /1996

LEGGI PUBBLICAZIONE

Modelli e Linguaggi per l’Elaborazione Parallela
RT-ICAR-CS-96-08
di D. Talia
pubblicato a /1996

LEGGI PUBBLICAZIONE

Programming Higfh Performance Models of Soil Contamination by a Cellular Automata Language
RT-ICAR-CS-96-09
di G. Spezzano, D. Talia
pubblicato a /1996

LEGGI PUBBLICAZIONE

A High-Level Cellular Programming Model for Massively Parallel Processing
RT-ICAR-CS-96-10
di G. Spezzano, D. Talia
pubblicato a /1996

LEGGI PUBBLICAZIONE

Models and Languages for Parallel Computation
RT-ICAR-CS-96-11
di D. B. Skillicorn, D. Talia
pubblicato a /1996

LEGGI PUBBLICAZIONE

High Performance Scientific Computing by a Parallel Cellular Environment
RT-ICAR-CS-96-12
di S. Di Gregorio, R. Rongo, W. Spataro, G. Spezzano, D. Talia
pubblicato a /1996

LEGGI PUBBLICAZIONE

Combining Abduction and Model Checking Techniques
RT-ICAR-CS-96-13
di F. Buccafurri, T. Eiter, G. Gottlob, N. Leone
pubblicato a /1996

LEGGI PUBBLICAZIONE

Strong and Weak Constrains in Disjunctive Datalog
RT-ICAR-CS-96-14
di F. Buccafurri, N. Leone, P. Rullo
pubblicato a /1996

LEGGI PUBBLICAZIONE

Abduction from Logic Programs : Semantics and Complexity
RT-ICAR-CS-96-15
di T. Eiter, G. Gottlob, N. Leone
pubblicato a /1996

LEGGI PUBBLICAZIONE

Semantics and Complexity of Abduction from  Default Theories
RT-ICAR-CS-96-16
di T. Eiter, G. Gottlob, N. Leone
pubblicato a /1996

LEGGI PUBBLICAZIONE

On the Partial Semantics foe Disjunctive Deductive Databases
RT-ICAR-CS-96-17
di T. Eiter, N. Leone, D. Saccà
pubblicato a /1996

LEGGI PUBBLICAZIONE

Expressive Power and Complexity of Partial Models for  Disjunctive Deductive Databases
RT-ICAR-CS-96-18
di T. Eiter, N. Leone, D. Saccà
pubblicato a /1996

LEGGI PUBBLICAZIONE

On Convergence of Parallel Characteristical GO Algorithms
RT-ICAR-CS-96-19
di V. A. Grishagin, Ya..D. Sergeyev, R. G. Strongin
pubblicato a /1996

LEGGI PUBBLICAZIONE