POSENATO, Roberto

POSENATO, Roberto  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 45 (tempo di esecuzione: 0.087 secondi).
Titolo Data di pubblicazione Autore(i) File
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks 1-gen-2002 Giuliano, Grossi; Posenato, Roberto
A Framework for the Internationalization of Data-Intensive Web Applications 1-gen-2004 Belussi, Alberto; Posenato, Roberto
A Neural Algorithm for the Maximum Satisfiability Problem 1-gen-1993 Maria Alberta, Alberti; Paolo, Marelli; Posenato, Roberto
A Neural Circuit for the Maximum 2-Satisfiability Problem 1-gen-1995 Maria Alberta, Alberti; Alberto, Bertoni; Paola, Campadelli; Giuliano, Grossi; Posenato, Roberto
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks 1-gen-2016 Hunsberger, Luke; Posenato, Roberto
A Schema-based Approach to Modeling and Querying WWW Data 1-gen-1998 Sara, Comai; Ernesto, Damiani; Posenato, Roberto; Letizia, Tanca
A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 1-gen-2015 Hunsberger, Luke; Posenato, Roberto; Combi, Carlo
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results 1-gen-2017 Cairo, Massimo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo
A Tractable Generalization of Simple Temporal Networks and its relation to Mean Payoff Games 1-gen-2014 Carlo, Comin; Posenato, Roberto; Rizzi, Romeo
Access Controlled Temporal Networks 1-gen-2017 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty 1-gen-2013 Combi, Carlo; Luke, Hunsberger; Posenato, Roberto
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited 1-gen-2014 Combi, Carlo; Luke, Hunsberger; Posenato, Roberto
An algorithm for Learning from Positive Examples Classes of Linearly Separable Boolean Functions 1-gen-1991 Bertoni, A.; Campadelli, P.; Morpurgo, A.; Posenato, Roberto
An Upper Bound of the Maximum Cut Mean 1-gen-1997 Alberto, Bertoni; Paola, Campadelli; Posenato, Roberto
Analysis of a Genetic Model with Finite Populations 1-gen-2005 Alberto, Bertoni; Paola, Campadelli; Posenato, Roberto
Approximability of GROUND STATE Problem on Tridimensional Ising Spin Glasses 1-gen-1995 Alberto, Bertoni; Paola, Campadelli; Posenato, Roberto; Massimo, Santini
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times 1-gen-2016 Hunsberger, Luke; Posenato, Roberto
Controllability in Temporal Conceptual Workflow Schemata 1-gen-2009 Combi, Carlo; Posenato, Roberto
Controllability of Time-Aware Processes at Run Time 1-gen-2013 Andreas, Lanz; Posenato, Roberto; Combi, Carlo; Manfred, Reichert
Controlling Time-Awareness in Modularized Processes 1-gen-2016 Lanz, Andreas; Posenato, Roberto; Combi, Carlo; Reichert, Manfred