07.2 Altre pubblicazioni (Other types of publications)

07.2 Altre pubblicazioni (Other types of publications): [4132] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.381 a 1.400 di 4.132

A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

2003-01-01 Patel-Schneider, Peter F.; Sebastiani, Roberto

Causality and replication in concurrent processes

2003-01-01 Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado

A Semantic-Based Information Management System to Support Innovative Product Design

2003-01-01 Conti, Giuseppe; Giunchiglia, Fausto; De Amicis, Raffaele; Noll, Stefan; Ucelli, Giuliana

De-Fragmenting Knowledge: Using Metadata for Interconnecting Courses

2003-01-01 Ronchetti, Marco; Saini, Paramjeet; Giuliani, Alberto

From the classroom to the computer screen: delivering a traditional University course in a non-traditional way

2003-01-01 Ronchetti, Marco

Deriving Ontology-Based Metadata for E-Learning form the ACM Computing Curricula

2003-01-01 Ronchetti, Marco; Saini, Paramjeet

More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking"

2003-01-01 Sebastiani, Roberto; Tonetta, Stefano

Query Answering in Peer-to-Peer Database Networks

2003-01-01 Zaihrayeu, Ilya

Lazy Rerouting for MPLS Traffic Engineering

2003-01-01 Salvadori, Elio; Ardito, Filippo; Battiti, Roberto

Supporting Mobile Learning with Location-Aware Printing Service

2003-01-01 Ronchetti, Marco; Trifonova, Anna

Mobile Learning - Review of the Literature

2003-01-01 Trifonova, Anna

Sidepath results on packing $\vec{P}_1$'s and $\vec{P}_2$'s

2003-01-01 Brewster, Richard C.; Hell, Pavol; Rizzi, Romeo

Extraction of pi-calculus specifications from UML sequence and state diagrams

2003-01-01 Korenblat, Katerina; Priami, Corrado

A SAT-Based Algorithm for Context Matching

2003-01-01 Bouquet, Paolo; Magnini, Bernardo; Zanobini, Stefano; Serafini, Luciano

On the difference between bridge rules and lifting axioms

2003-01-01 Serafini, Luciano; Bouquet, Paolo

An algorithm for matching contextualized schemas via SAT

2003-01-01 Serafini, Luciano; Bouquet, Paolo; Magnini, Bernardo; Zanobini, Stefano

Local Relational Model: a logical formalization of database coordination

2003-01-01 Serafini, Luciano; Mylopoulos, John; Bernstein, Philip A.; Giunchiglia, Fausto

Proceedings of International Workshop Global Computing: Programming Environments

2003-01-01 Priami, Corrado

Efficiently Integrating Boolean Reasoning and Mathematical Solving

2003-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Audemard, Gilles; Kornilowicz, Artur; Sebastiani, Roberto

A Multiple Cascade-Classifier System for a Robust and Partially Unsupervised Updating of Land-Cover Maps

2002-01-01 Bruzzone, Lorenzo; Cossu, Roberto

Titolo	Anno di pubblicazione	Autori Unitn
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures	1-gen-2003	Patel-Schneider, Peter F.Sebastiani, Roberto + -
Causality and replication in concurrent processes	1-gen-2003	Degano, PierpaoloGadducci, FabioPriami, Corrado + -
A Semantic-Based Information Management System to Support Innovative Product Design	1-gen-2003	Conti, GiuseppeGiunchiglia, FaustoDe Amicis, RaffaeleNoll, StefanUcelli, Giuliana + -
De-Fragmenting Knowledge: Using Metadata for Interconnecting Courses	1-gen-2003	Ronchetti, MarcoSaini, ParamjeetGiuliani, Alberto + -
From the classroom to the computer screen: delivering a traditional University course in a non-traditional way	1-gen-2003	Ronchetti, Marco
Deriving Ontology-Based Metadata for E-Learning form the ACM Computing Curricula	1-gen-2003	Ronchetti, MarcoSaini, Paramjeet
More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking"	1-gen-2003	Sebastiani, RobertoTonetta, Stefano
Query Answering in Peer-to-Peer Database Networks	1-gen-2003	Zaihrayeu, Ilya
Lazy Rerouting for MPLS Traffic Engineering	1-gen-2003	Salvadori, ElioArdito, FilippoBattiti, Roberto + -
Supporting Mobile Learning with Location-Aware Printing Service	1-gen-2003	Ronchetti, MarcoTrifonova, Anna
Mobile Learning - Review of the Literature	1-gen-2003	Trifonova, Anna
Sidepath results on packing $\vec{P}_1$'s and $\vec{P}_2$'s	1-gen-2003	Brewster, Richard C.Hell, PavolRizzi, Romeo + -
Extraction of pi-calculus specifications from UML sequence and state diagrams	1-gen-2003	Korenblat, KaterinaPriami, Corrado + -
A SAT-Based Algorithm for Context Matching	1-gen-2003	Bouquet, PaoloMagnini, BernardoZanobini, StefanoSerafini, Luciano
On the difference between bridge rules and lifting axioms	1-gen-2003	Serafini, LucianoBouquet, Paolo
An algorithm for matching contextualized schemas via SAT	1-gen-2003	Serafini, LucianoBouquet, PaoloMagnini, BernardoZanobini, Stefano
Local Relational Model: a logical formalization of database coordination	1-gen-2003	Serafini, LucianoMylopoulos, JohnBernstein, Philip A.Giunchiglia, Fausto + -
Proceedings of International Workshop Global Computing: Programming Environments	1-gen-2003	Priami, Corrado
Efficiently Integrating Boolean Reasoning and Mathematical Solving	1-gen-2003	Bertoli, PiergiorgioCimatti, AlessandroAudemard, GillesKornilowicz, ArturSebastiani, Roberto + -
A Multiple Cascade-Classifier System for a Robust and Partially Unsupervised Updating of Land-Cover Maps	1-gen-2002	Bruzzone, LorenzoCossu, Roberto + -

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.381 a 1.400 di 4.132

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

Scopri

Accesso al fulltext

no fulltext2325
open1654
reserved143
partially open10