Sfoglia per Autore
Decidability of logic program semantics and applications to testing
1996-01-01 Ruggieri, Salvatore
The Reference Model for Intelligent Multimedia Presentation Systems: first draft
1996-01-01 Ruggieri, Salvatore; Bordegoni, M; Faconti, G; Rist, T; Trahanias, P; Wilson, M.
Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model
1996-01-01 Bordegoni, M; Faconti, G; Rist, T; Ruggieri, Salvatore; Trahanias, P; Wilson, M.
Termination of Constraint Logic Programs
1997-01-01 Ruggieri, Salvatore
A Standard Reference Model for Intelligent Multimedia Presentation Systems
1997-01-01 Bordegoni, M; Faconti, G; Feiner, S; Maybury, T; Rist, T; Ruggieri, Salvatore; Trahanias, P; Wilson, M.
Verification of Metainterpreters
1997-01-01 Pedreschi, Dino; Ruggieri, Salvatore
Describing the MMI2 demonstrators with the IMMPS Reference Model
1997-01-01 Ruggieri, Salvatore; Wilson, M.
A Complete Declarative Debugger of Missing Answers
1998-01-01 Ruggieri, Salvatore
On Linguistic Quality of Natural Language Requirements
1998-01-01 Fabbrini, F; Fusani, M; Gervasi, Vincenzo; Gnesi, S; Ruggieri, Salvatore
On linguistic quality of natural language requirements
1998-01-01 F., Fabbrini; M., Fusani; Gervasi, Vincenzo; S., Gnesi; Ruggieri, Salvatore
Weakest Preconditions for Pure Prolog Programs
1998-01-01 Pedreschi, Dino; Ruggieri, Salvatore
Achieving quality in natural language requirements
1998-01-01 Fabbrini, F; Fusani, M; Gervasi, Vincenzo; Gnesi, S; Ruggieri, Salvatore
On logic programs that do not fail
1999-01-01 Pedreschi, Dino; Ruggieri, Salvatore
Bounded Nondeterminism of Logic Programs
1999-01-01 Pedreschi, Dino; Ruggieri, Salvatore
Verification of Logic Programs
1999-01-01 Pedreschi, Dino; Ruggieri, Salvatore
Parallelisation of C4.5 as a Particular Divide and Conquer Computation
2000-01-01 Becuzzi, P; Coppola, M; Ruggieri, Salvatore; Vanneschi, Marco
Decidability of logic program semantics and applications to testing
2000-01-01 Ruggieri, Salvatore
∃-Universal Termination of Logic Programs
2001-01-01 Ruggieri, Salvatore
Web log data warehousing and mining for intelligent web caching
2001-01-01 F., Bonchi; Giannotti, Fosca; C., Gozzi; G., Manco; Nanni, Mirco; Pedreschi, Dino; C., Renso; Ruggieri, Salvatore
Data mining for intelligent web caching
2001-01-01 Bonchi, F; Giannotti, F; Manco, G; Nanni, M; Pedreschi, Dino; Renso, C; Ruggieri, Salvatore
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Decidability of logic program semantics and applications to testing | 1-gen-1996 | Ruggieri, Salvatore | |
The Reference Model for Intelligent Multimedia Presentation Systems: first draft | 1-gen-1996 | Ruggieri, Salvatore; Bordegoni, M; Faconti, G; Rist, T; Trahanias, P; Wilson, M. | |
Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model | 1-gen-1996 | Bordegoni, M; Faconti, G; Rist, T; Ruggieri, Salvatore; Trahanias, P; Wilson, M. | |
Termination of Constraint Logic Programs | 1-gen-1997 | Ruggieri, Salvatore | |
A Standard Reference Model for Intelligent Multimedia Presentation Systems | 1-gen-1997 | Bordegoni, M; Faconti, G; Feiner, S; Maybury, T; Rist, T; Ruggieri, Salvatore; Trahanias, P; Wilson, M. | |
Verification of Metainterpreters | 1-gen-1997 | Pedreschi, Dino; Ruggieri, Salvatore | |
Describing the MMI2 demonstrators with the IMMPS Reference Model | 1-gen-1997 | Ruggieri, Salvatore; Wilson, M. | |
A Complete Declarative Debugger of Missing Answers | 1-gen-1998 | Ruggieri, Salvatore | |
On Linguistic Quality of Natural Language Requirements | 1-gen-1998 | Fabbrini, F; Fusani, M; Gervasi, Vincenzo; Gnesi, S; Ruggieri, Salvatore | |
On linguistic quality of natural language requirements | 1-gen-1998 | F., Fabbrini; M., Fusani; Gervasi, Vincenzo; S., Gnesi; Ruggieri, Salvatore | |
Weakest Preconditions for Pure Prolog Programs | 1-gen-1998 | Pedreschi, Dino; Ruggieri, Salvatore | |
Achieving quality in natural language requirements | 1-gen-1998 | Fabbrini, F; Fusani, M; Gervasi, Vincenzo; Gnesi, S; Ruggieri, Salvatore | |
On logic programs that do not fail | 1-gen-1999 | Pedreschi, Dino; Ruggieri, Salvatore | |
Bounded Nondeterminism of Logic Programs | 1-gen-1999 | Pedreschi, Dino; Ruggieri, Salvatore | |
Verification of Logic Programs | 1-gen-1999 | Pedreschi, Dino; Ruggieri, Salvatore | |
Parallelisation of C4.5 as a Particular Divide and Conquer Computation | 1-gen-2000 | Becuzzi, P; Coppola, M; Ruggieri, Salvatore; Vanneschi, Marco | |
Decidability of logic program semantics and applications to testing | 1-gen-2000 | Ruggieri, Salvatore | |
∃-Universal Termination of Logic Programs | 1-gen-2001 | Ruggieri, Salvatore | |
Web log data warehousing and mining for intelligent web caching | 1-gen-2001 | F., Bonchi; Giannotti, Fosca; C., Gozzi; G., Manco; Nanni, Mirco; Pedreschi, Dino; C., Renso; Ruggieri, Salvatore | |
Data mining for intelligent web caching | 1-gen-2001 | Bonchi, F; Giannotti, F; Manco, G; Nanni, M; Pedreschi, Dino; Renso, C; Ruggieri, Salvatore |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile