07.2 Altre pubblicazioni (Other types of publications)

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

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 721 a 740 di 4.083

To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T)

2006-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Santuari, Alessandro; Sebastiani, Roberto

Learning-Based Spam Filters: the Influence of the Temporal Distribution of Training Data

2006-01-01 Bryl, Anton

Situation-Aware Radio Resource Management for Multi-Rate MC-CDMA Wireless Networks Targeted at Multimedia Data Exchanges in Local Areas

2006-01-01 D'Orazio, Leandro; Sacchi, Claudio; Granelli, Fabrizio; De Natale, Francesco G. B.

Community-Driven Ontology Matching

2006-01-01 V. Zhdanova, Anna; Shvaiko, Pavel

Sweeper-Agent Recommendations-Tree Early Scheme

2006-01-01 Abdel-Naby, Sameh; Giorgini, Paolo

Reactive and dynamic local search for Max-Clique, does the complexity pay off?

2006-01-01 Battiti, Roberto; Mascia, Franco

Genetic algorithm-assisted semi-adaptive MMSE multi-user detection for MC-CDMA mobile communication systems

2006-01-01 Sacchi, Claudio; D'Orazio, Leandro; Donelli, Massimo; De Natale, Francesco G. B

Smart Ride Seeker (SRS) An Introductory Plan

2006-01-01 Abdel-Naby, Sameh; Giorgini, Paolo

A Memory-Based RASH Optimizer

2006-01-01 Brunato, Mauro; Battiti, Roberto; Pasupuleti, Srinivas

Implicit culture: an approach for experiential reasoning

2006-01-01 Birukou, Aliaksandr; Giorgini, Paolo

A Theoretical Framework for Unsupervised Change Detection Based on Change Vector Analysis in Polar Domain

2007-01-01 Bovolo, Francesca; Bruzzone, Lorenzo

Hierarchical Hippocratic Databases with Minimal Disclosure for Virtual Organizations

2006-01-01 Massacci, F; Mylopoulos, J; Zannone, N

A Decidable Extension of Hennessy-Milner Logic with Spatial Operators

2006-01-01 Mardare, Radu; Priami, Corrado

Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation

2005-01-01 Massacci, F.; Mylopoulos, J.; Zannone, N.

Implicit Culture as a Tool for Social Navigation

2006-01-01 Birukou, Aliaksandr; Blanzieri, Enrico; Giorgini, Paolo

Back to Wicksell? In search of the foundations of practical monetary policy

2006-01-01 Tamborini, Roberto

Antenna Array Synthesis Through Time Modulation

2011-01-01 Poli, Lorenzo; Rocca, Paolo; Oliveri, Giacomo; Massa, Andrea; Lizzi, Leonardo

Operators for Transforming Kernels into Quasi-Local Kernels that Improve SVM Accuracy

2009-01-01 Segata, Nicola; Blanzieri, Enrico

On the Interdisciplinary Foundations of Diversity

2009-01-01 Giunchiglia, Fausto; Denecke, Kerstin; Lewis, Paul; Wallner, Cornelia; Baldry, Anthony; Madalli, Devika; Maltese, Vincenzo

The Semantic Web Languages

2009-01-01 Farazi, Feroz; Tanca, Letizia; De Virgilio, Roberto; Giunchiglia, Fausto

Titolo	Anno di pubblicazione	Autori Unitn
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T)	1-gen-2006	Bruttomesso, RobertoCimatti, AlessandroFranzén, AndersGriggio, AlbertoSantuari, AlessandroSebastiani, Roberto + -
Learning-Based Spam Filters: the Influence of the Temporal Distribution of Training Data	1-gen-2006	Bryl, Anton
Situation-Aware Radio Resource Management for Multi-Rate MC-CDMA Wireless Networks Targeted at Multimedia Data Exchanges in Local Areas	1-gen-2006	D'Orazio, LeandroSacchi, ClaudioGranelli, FabrizioDe Natale, Francesco G. B. + -
Community-Driven Ontology Matching	1-gen-2006	V. Zhdanova, AnnaShvaiko, Pavel + -
Sweeper-Agent Recommendations-Tree Early Scheme	1-gen-2006	Abdel-Naby, SamehGiorgini, Paolo
Reactive and dynamic local search for Max-Clique, does the complexity pay off?	1-gen-2006	Battiti, RobertoMascia, Franco
Genetic algorithm-assisted semi-adaptive MMSE multi-user detection for MC-CDMA mobile communication systems	1-gen-2006	Sacchi, ClaudioD'Orazio, LeandroDonelli, MassimoDe Natale, Francesco G. B + -
Smart Ride Seeker (SRS) An Introductory Plan	1-gen-2006	Abdel-Naby, SamehGiorgini, Paolo
A Memory-Based RASH Optimizer	1-gen-2006	Brunato, MauroBattiti, RobertoPasupuleti, Srinivas
Implicit culture: an approach for experiential reasoning	1-gen-2006	Birukou, AliaksandrGiorgini, Paolo
A Theoretical Framework for Unsupervised Change Detection Based on Change Vector Analysis in Polar Domain	1-gen-2007	Bovolo, FrancescaBruzzone, Lorenzo
Hierarchical Hippocratic Databases with Minimal Disclosure for Virtual Organizations	1-gen-2006	Massacci, FMylopoulos, JZannone, N
A Decidable Extension of Hennessy-Milner Logic with Spatial Operators	1-gen-2006	Mardare, RaduPriami, Corrado
Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation	1-gen-2005	Massacci, F.Mylopoulos, J.Zannone, N.
Implicit Culture as a Tool for Social Navigation	1-gen-2006	Birukou, AliaksandrBlanzieri, EnricoGiorgini, Paolo
Back to Wicksell? In search of the foundations of practical monetary policy	1-gen-2006	Tamborini, Roberto
Antenna Array Synthesis Through Time Modulation	1-gen-2011	Poli, LorenzoRocca, PaoloOliveri, GiacomoMassa, AndreaLizzi, Leonardo
Operators for Transforming Kernels into Quasi-Local Kernels that Improve SVM Accuracy	1-gen-2009	Segata, NicolaBlanzieri, Enrico
On the Interdisciplinary Foundations of Diversity	1-gen-2009	Giunchiglia, FaustoDenecke, KerstinLewis, PaulWallner, CorneliaBaldry, AnthonyMadalli, DevikaMaltese, Vincenzo + -
The Semantic Web Languages	1-gen-2009	Farazi, FerozTanca, LetiziaDe Virgilio, RobertoGiunchiglia, Fausto + -

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 721 a 740 di 4.083

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 fulltext2294
open1645
reserved134
partially open10