Seminars

you must be logged-in to have full access to seminar attachments

Exploring Embodied Microblogging: designing digital technology for social interaction in local communities of senior citizens

Date: 
6 February, 2012 - 14:00 - 15:00
Location: 
Aula Multimediale DIMI
Description
Abstract: 

In this presentation I collect the explorations that characterize my phd work: designing digital technology to facilitate senior citizens to make more noticeable their everyday activities, and notice what is going on in their local community. Building on everyday activities as fruitful opener in everyday face-to-face encounters, we have engaged with a local community of seniors citizens in sketching and co-design sessions to explore the role of augmented objects and a family of situated displays for sharing activities of their everyday practice.

Ehrenfeucht-Fraïssé games on structures with colors and on embedded equivalence structures

Date: 
22 December, 2011 - 12:00 - 13:00
Location: 
Saletta riunioni DIMI
Description
Abstract: 

In this seminar we discuss winning strategies for EF-games on structures with one color, with multiple colors and on embedded equivalence structures, inspired by results presented in the paper by Khoussainov and Liu.

Regular Repair of Specifications

Date: 
20 December, 2011 - 12:00 - 13:00
Location: 
Sala Riunioni
Description
Abstract: 

What do you do if a computational object (e.g. program trace) fails a specification? An obvious approach is to perform repair: modify the object minimally to get something that satisfies the constraints.
In this seminar we present a study aimed at repairing constraints given as automata. We focus on
determining the number of repairs that must be applied to a word satisfying a given input constraint in
order to ensure that it satisfies a given target constraint. This number may well be unbounded; one of our main contributions is to isolate the complexity of the “bounded repair problem”, based on a characterization of the pairs of regular languages that admit such a repair. We consider this in the setting where the repair strategy is unconstrained and also when the strategy is restricted to use finite memory.

Crowdsourcing & Search System Evaluation

Date: 
15 December, 2011 - 12:30 - 13:30
Location: 
Aula 47
Description
Abstract: 

The primary problem confronting any new kind of search task is how to boot-strap a reliable and repeatable evaluation campaign, and a crowd-sourcing approach provides many advantages. However, can these crowd-sourced evaluations be repeated over long periods of time in a reliable manner? To demonstrate, we investigate creating an evaluation campaign for the semantic search task of keyword-based ad-hoc object retrieval. In contrast to traditional search over web-pages, object search aims at the retrieval of information from factual assertions about real-world objects rather than searching over web-pages with textual descriptions. Using the first large-scale evaluation campaign that specifically targets the task of ad-hoc Web object retrieval over a number of deployed systems, we demonstrate that crowd-sourced evaluation campaigns can be repeated over time and still maintain reliable results. Furthermore, we show how these results are comparable to expert judges when ranking systems and that the results hold over different evaluation and relevance metrics. This work provides empirical support for scalable, reliable, and repeatable search system evaluation using crowdsourcing.

Syndicate content