Demo sessions
Demo authors should contact the Registration Desk for logistic info by Wednesday August 30th, lunch time
Wednesday 30th
and Thursday 31st August 17:30-19:30
| Character-based
guided tours: the DramaTour Project |
| R. Damiano, C. Galia, V. Lombardo, F. Nunnari |
| OntoCoref:
Ontology-based Co-reference Chaining |
| T. C. Lech, M. Gulliksen, K. de Smedt |
| Explicit Passive
Analysis in Electronic Catalogs |
| D. Portabella Clotet, M. Rajman |
| From Supporting
Individuals to Supporting Small Groups in the Museum Evolution of a
Adaptive Museum Guide |
| D. GorenBar, A. Gorfinkel, S. Jbara, T. Kuflik, J.
Sheidin, C. Rocchi, O. Stock, M. Zancanaro |
| ProVotE: Building
the e-Voting System for Trentino |
| A. Villafiorita and R. Tiella |
| SAMMIE System:
Multimodal In-Car Dialogue |
| T. Becker |
| Auctioning
Substitutable Goods |
| A. Giovannucci, J. Cerquides, J. A. Rodriguez-Aguilar,
M. Mateos |
| RAT: A tool for
Formal Analysis of Requirements |
| R. Bloem, I. Pill, R. Cavada, A. Cimatti, M. Roveri,
S. Semprini, A. Tchaltsev |
| ST-Tool: A CASE Tool for Security Requirements Engineering |
| P. Giorgini, F. Massacci, J. Mylopoulos, C. Qin, A. Siena, N. Zannone |
| iAgree: a system for
proposal-based negotiation among intelligent agents |
| M. Cadoli, G. Chella, T. Mancini |
| ASTRO: Supporting
Web Service Development by Automated Composition, Monitoring and
Verification |
| M. Trainotti, M. Pistore |
| The WITAS UAV Ground
System Interface Demonstration with a Focus on Motion and Task Planning
|
| M. Wzorek, P. Doherty (a flying helicopter
demostration on Thursday only) |
| Demonstration of the
MarkIT Automated Essay Grading System |
| B. Williams, H. Dreher |
| CONOISE-G:
Agent-Based Virtual Organisations |
| J. Patel, W. T .L. Teacy, N. R. Jennings, M. Luck, S.
Chalmers, N. Oren, T.J. Norman, A. Preece, P. M. D. Gray, G. Shercli,
P. J. Stockreisser, J. Shao,W. A. Gray, N. J. Fiddian |
| Semantic Knowledge
Model and Architecture for Agents in Discrete Environments |
| M. Laclavik, M. Babik, Z. Balogh, E. Gatial, L. Hluchy
|
| A Tropos
Model-Driven Development Environment |
| D. Bertolini, L. Delpero, J. Mylopoulos, A. Novikau,
A. Orler, L. Penserini, A. Perini, A. Susi, B. Tomasi |
| An Electronic
Institutions Development Environment for Open Multi-agent Systems |
| J. Ll. Arcos, G. Cuni', D. dela Cruz, M. Esteva, B.
Rosell, J. A. Rodriguez-Aguilar, C. Sierra |
| A Web-based
Interface to a Multi-lingual Phrase-based Translation System |
| R. Cattoni, N. Bertoldi, M. Cettolo, B. Chen, M.
Federico |
| Agent-based
Prototype of the Dynamic Engineering Design Process Performance
Management System (DEDP-PMS) |
| V.Samoylov, Prof. V.Gorodetsky, V.Ermolayev,
E.Jentzsch, O.Karsayev, N.Keberle, W.-E.Matzke, R.Sohinus |
| The FSAP/NuSMV-SA
Safety Analysis Platform |
| M. Bozzano, C. Jochim, and F. Tapparo |
| WebCrow: a web-based
crossword solver |
| M. Gori, G. Angelini, M. Ernandes
(An open competition on Wednesday, pre-registration is required, http://webcrow.dii.unisi.it) |
