Sfoglia per Autore
Interchangeability in Soft CSPs
2003 Bistarelli, Stefano; Faltings, Boi; Neagu, Nicoleta
General Properties and Termination Conditions for Soft Constraint Propagation
2003 Bistarelli, Stefano; Gennari, Rossella; Rossi, Francesca
A constraint framework for the qualitative analysis of dependability goals: Integrity
2003 Bistarelli, Stefano; Foley, SIMON N.
Analysis of Integrity Policies using Soft Constraints
2003 Bistarelli, Stefano; Foley, SIMON N.
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search
2003 Bistarelli, Stefano; Philippe, Codognet; KIN CHUEN, Hui; JIMMY HO MAN, Lee
On representing biological systems through multiset rewriting
2003 Fabio, Martinelli; Bistarelli, Stefano; Iliano, Cervesato; Gabriele, Lenzini; Roberto, Marangoni
Editorial message: Special track on Artificial Intelligence and Computational Logic - Proceedings of the 2003 ACM Symposium on Applied Computing
2003 Hung, Chih-Cheng; Rosa, Agostinho; Bistarelli, Stefano
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search
2003 Bistarelli, Stefano; Codognet, Philippe; Hui, KIN CHUEN; Lee, JIMMY HO-MAN
Computer Algebra for Fingerprint Matching
2003 Bistarelli, Stefano; Boffi, Giandomenico; Rossi, Fabio
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols
2003 Bistarelli, Stefano; Cervesato, Iliano; Lenzini, Gabriele; Martinelli, Fabio
Editorial message - Special track on artificial intelligence, computational logic and image analysis - Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing
2004 Hung, C. C.; Bistarelli, Stefano; Rosa, Agostinho
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints
2004 Bistarelli, Stefano; Freuder, EUGENE C.; Osullivan, Barry
Symmetry Breaking in Soft CSPs
2004 Bistarelli, Stefano; Jerome, Keleher; Barry, O'Sullivan
Tradeoff Generation using Soft Constraints
2004 Bistarelli, Stefano; Kelleher, Jerome; O'Sullivan, Barry
A Theoretical Framework for Tradeoff Generation using Soft Constraints
2004 Bistarelli, Stefano; Barry, O'Sullivan
Soft Constraint Programming to Analysing Security Protocol
2004 Bella, Giampaolo; Bistarelli, Stefano
Experimental Evaluation of Interchangeability in Soft CSPs
2004 Bistarelli, Stefano; Neagu, Nicoleta; Faltings, Boi
Soft Constraint Propagation and Solving in Constraint Handling Rules
2004 Bistarelli, Stefano; Fruewirth, Thom; Marte, Michael; Rossi, Francesca
Abstracting Soft Constraints: Some experimental results on Fuzzy CSPs
2004 Bistarelli, Stefano; Rossi, Francesca; Pilan, Isabella
Advancing Assurance for Secure Distributed Communications
2004 Bella, Giampaolo; Bistarelli, Stefano
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