2009 | ||
---|---|---|
77 | EE | Martino Ruggiero, Davide Bertozzi, Luca Benini, Michela Milano, A. Andrei: Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms. IEEE Trans. on CAD of Integrated Circuits and Systems 28(3): 378-391 (2009) |
2008 | ||
76 | EE | Luca Benini, Michele Lombardi, Michela Milano, Martino Ruggiero: A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine. CP 2008: 21-35 |
75 | EE | Luca Benini, Michele Lombardi, Marco Mantovani, Michela Milano, Martino Ruggiero: Multi-stage Benders Decomposition for Optimizing Multicore Architectures. CPAIOR 2008: 36-50 |
74 | EE | Luca Benini, Davide Bertozzi, Michela Milano: Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming. ICLP 2008: 470-484 |
73 | EE | Marco Gavanelli, Michela Milano, Sergio Storari, Luca Tagliavini, Paola Baldazzi, Marilena Manfredi, Gianfranco Valastro: Greedy and Exact Algorithms for Invitation Planning in Cancer Screening. New Challenges in Applied Intelligence Technologies 2008: 255-264 |
72 | EE | Martino Ruggiero, Alessio Guerri, Davide Bertozzi, Michela Milano, Luca Benini: A Fast and Accurate Technique for Mapping Parallel Applications on Stream-Oriented MPSoC Platforms with Communication Awareness. International Journal of Parallel Programming 36(1): 3-36 (2008) |
2007 | ||
71 | EE | Michele Lombardi, Michela Milano: Scheduling Conditional Task Graphs. CP 2007: 468-482 |
70 | EE | Zeynep Kiziltan, Andrea Lodi, Michela Milano, Fabio Parisini: CP-Based Local Branching. CP 2007: 847-855 |
69 | EE | Emiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano, Luca Benini: Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip. EMSOFT 2007: 47-56 |
2006 | ||
68 | EE | Michele Lombardi, Michela Milano: Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs. CP 2006: 299-313 |
67 | EE | Alessandro Zanarini, Michela Milano, Gilles Pesant: Improved Algorithm for the Soft Global Cardinality Constraint. CPAIOR 2006: 288-299 |
66 | EE | Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano: Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs. CPAIOR 2006: 44-58 |
65 | EE | Martino Ruggiero, Alessio Guerri, Davide Bertozzi, Francesco Poletti, Michela Milano: Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip. DATE 2006: 3-8 |
64 | EE | Michela Milano, Mark Wallace: Integrating operations research in constraint programming. 4OR 4(3): 175-219 (2006) |
63 | EE | Roman Barták, Michela Milano: Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005). Constraints 11(4): 269-270 (2006) |
62 | Michela Milano, Francesca Rossi: Constraint Programming. Intelligenza Artificiale 3(1-2): 28-34 (2006) | |
2005 | ||
61 | Roman Barták, Michela Milano: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings Springer 2005 | |
60 | EE | Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano: Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation. CP 2005: 107-121 |
59 | EE | Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano: Allocation and Scheduling for MPSoCs via decomposition and no-good generation. IJCAI 2005: 1517-1518 |
58 | Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP 2005: 53-64 | |
57 | EE | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Dealing with incomplete knowledge on CLP(FD) variable domains. ACM Trans. Program. Lang. Syst. 27(2): 236-263 (2005) |
56 | Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano, Francesco Poletti: Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip. Intelligenza Artificiale 2(3): 13-20 (2005) | |
55 | EE | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based implementation of known arc-consistency. TPLP 5(4-5): 419-440 (2005) |
2004 | ||
54 | EE | Cormac Gebruers, Alessio Guerri, Brahim Hnich, Michela Milano: Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework. CPAIOR 2004: 380-386 |
53 | Willem Jan van Hoeve, Michela Milano: Postponing Branching Decisions. ECAI 2004: 1105-1106 | |
52 | Alessio Guerri, Michela Milano: Learning Techniques for Automatic Algorithm Portfolio Selection. ECAI 2004: 475-479 | |
51 | EE | Willem Jan van Hoeve, Michela Milano: Decomposition Based Search - A theoretical and experimental evaluation CoRR cs.AI/0407040: (2004) |
50 | EE | Willem Jan van Hoeve, Michela Milano: Postponing Branching Decisions CoRR cs.AI/0407042: (2004) |
49 | EE | Michela Milano, Willem Jan van Hoeve: Reduced cost-based ranking for generating promising subproblems CoRR cs.AI/0407044: (2004) |
48 | EE | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based Implementation of Known Arc-Consistency CoRR cs.LO/0408056: (2004) |
47 | EE | Michela Milano, Andrea Roli: MAGMA: a multiagent architecture for metaheuristics. IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(2): 925-941 (2004) |
46 | Alessio Guerri, Michela Milano: Instance Structure-based Portfolio Selection. Intelligenza Artificiale 1(2): 37-45 (2004) | |
2003 | ||
45 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35 | |
44 | EE | Andrea Lodi, Michela Milano, Louis-Martin Rousseau: Discrepancy-Based Additive Bounding for the AllDifferent Constraint. CP 2003: 510-524 |
43 | EE | Alessio Guerri, Michela Milano: CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions. CP 2003: 863-867 |
2002 | ||
42 | EE | Michela Milano, Willem Jan van Hoeve: Reduced Cost-Based Ranking for Generating Promising Subproblems. CP 2002: 1-16 |
41 | EE | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Exploiting Constraints for Domain Managing in CLP(FD). FroCos 2002: 177-191 |
40 | Filippo Focacci, Andrea Lodi, Michela Milano: Embedding Relaxations in Global Constraints for Solving TSP and TSPTW. Ann. Math. Artif. Intell. 34(4): 291-311 (2002) | |
39 | Filippo Focacci, Andrea Lodi, Michela Milano: Optimization-Oriented Global Constraints. Constraints 7(3-4): 351-365 (2002) | |
38 | EE | Michela Milano, Greger Ottosson, Philippe Refalo, Erlendur S. Thorsteinsson: The Role of Integer Programming Techniques in Constraint Programming's Global Constraints. INFORMS Journal on Computing 14(4): 387-402 (2002) |
37 | EE | Filippo Focacci, Andrea Lodi, Michela Milano: A Hybrid Exact Algorithm for the TSPTW. INFORMS Journal on Computing 14(4): 403-417 (2002) |
36 | Filippo Focacci, Andrea Lodi, Michela Milano: Mathematical Programming Techniques in Constraint Programming: A Short Overview. J. Heuristics 8(1): 7-17 (2002) | |
2001 | ||
35 | EE | Rosy Barruffi, Michela Milano: Planning and Execution in Dynamic Environments. AI*IA 2001: 382-387 |
34 | EE | Filippo Focacci, Michela Milano: Global Cut Framework for Removing Symmetries. CP 2001: 77-92 |
33 | EE | Rosy Barruffi, Michela Milano, Rebecca Montanari: Planning for Security Management. IEEE Intelligent Systems 16(1): 74-80 (2001) |
32 | Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara: From Eager to Lazy Constrained Data Acquisition: A General Framework. New Generation Comput. 19(4): 339-368 (2001) | |
31 | F. Bosi, Michela Milano: Enhancing CLP branch and bound techniques for scheduling problems. Softw., Pract. Exper. 31(1): 17-42 (2001) | |
2000 | ||
30 | EE | Filippo Focacci, Andrea Lodi, Michela Milano: Cutting Planes in Constraint Programming: A Hybrid Approach. CP 2000: 187-201 |
29 | EE | Rosy Barruffi, Michela Milano, Paolo Torroni: Planning while Executing: A Constraint-Based Approach. ISMIS 2000: 228-236 |
1999 | ||
28 | EE | Michela Milano, Andrea Roli: Solving the Satisfiability Problem through Boolean Networks. AI*IA 1999: 72-83 |
27 | Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello: Domains as First Class Objects in CLP(FD). APPIA-GULP-PRODE 1999: 411-424 | |
26 | Filippo Focacci, Andrea Lodi, Michela Milano: Cost-Based Domain Filtering. CP 1999: 189-203 | |
25 | Rosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano: Least Commitment on Variable Binding in Presence of Incomplete Knowledge. ECP 1999: 159-171 | |
24 | Michela Milano, Andrea Omicini, Fabrizio Riguzzi: Adopting an Object-Oriented Data Model in Inductive Logic Programming. FLAIRS Conference 1999: 273-279 | |
23 | EE | Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi: 3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. ICIAP 1999: 508-513 |
22 | Filippo Focacci, Michela Milano, Andrea Lodi: Soving TSP with Time Windows with Constraints. ICLP 1999: 515-529 | |
21 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Domains as First Class Objects in CLP(FD). ICLP 1999: 608 | |
20 | Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi: Constraint Propagation and Value Acquisition: Why we should do it Interactively. IJCAI 1999: 468-477 | |
19 | EE | Marco Gavanelli, Michela Milano: On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. Electr. Notes Theor. Comput. Sci. 30(2): (1999) |
18 | EE | Filippo Focacci, Andrea Lodi, Michela Milano, Daniele Vigo: Solving TSP through the Integration of OR and CP Techniques. Electronic Notes in Discrete Mathematics 1: 13-25 (1999) |
17 | Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: Integrating Induction and Abduction in Logic Programming. Inf. Sci. 116(1): 25-54 (1999) | |
16 | Evelina Lamma, Michela Milano, Paola Mello: Reasoning on Constraints in CLP(FD). J. Log. Program. 38(1): 93-110 (1999) | |
1998 | ||
15 | Evelina Lamma, Michela Milano, Rita Cucchiara, Paola Mello, Massimo Piccardi: Interactive Constraint Satisfaction and its Application to Visual Object Recognition. APPIA-GULP-PRODE 1998: 57-70 | |
14 | Rosy Barruffi, Michela Milano: Interactive Constraint Satisfaction techniques for Information Gathering in Planning. ECAI 1998: 514-515 | |
13 | Evelina Lamma, Michela Milano, Paola Mello: Extending Constraint Logic Programming for Temporal Reasoning. Ann. Math. Artif. Intell. 22(1-2): 139-158 (1998) | |
12 | Alberto Caprara, Filippo Focacci, Evelina Lamma, Paola Mello, Michela Milano, Paolo Toth, Daniele Vigo: Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem. Softw., Pract. Exper. 28(1): 49-76 (1998) | |
1997 | ||
11 | Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: Introducing Abduction into (Extensional) Inductive Logic Programming Systems. AI*IA 1997: 183-194 | |
10 | Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: An Algorithm for Learning Abductive Rules. APPIA-GULP-PRODE 1997: 295-306 | |
9 | Evelina Lamma, Michela Milano, Paola Mello: Reasoning on Constraints in Constraint Logic Programming. ICLP 1997: 413 | |
8 | Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano: An Interactive Constraint-Based System for Selective Attention in Visual Search. ISMIS 1997: 431-440 | |
7 | EE | Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: A System for Abductive Learning of Logic Programs. LPKR 1997: 102-122 |
6 | EE | Evelina Lamma, Paola Mello, Michela Milano: A distributed constraint-based scheduler. AI in Engineering 11(2): 91-105 (1997) |
1996 | ||
5 | Evelina Lamma, Paola Mello, Michela Milano: Enhancing Constraint Logic Programming through Meta Programming. APPIA-GULP-PRODE 1996: 523-534 | |
4 | Evelina Lamma, Paola Mello, Michela Milano: A Meta Constraint Logic Programming Architecture (Extended Abstract). CP 1996: 549-550 | |
3 | Evelina Lamma, Michela Milano, Paola Mello: Combining Solvers in a Meta Constraint Logic Programming Architecture. Frontiers of Combining Systems (FroCos) 1996: 267-283 | |
2 | Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani: Resource-Based vs. Task-Based Approaches for Scheduling Problems. ISMIS 1996: 325-334 | |
1 | Evelina Lamma, Paola Mello, Michela Milano: Temporal Reasoning in a Meta Constraint Logic Programming Architecture. TIME 1996 |