Sciweavers

13383 search results - page 345 / 2677
» Abstractions from proofs
Sort
View
HCI
2007
15 years 8 months ago
MyView: Personalized Event Retrieval and Video Compositing from Multi-camera Video Images
Abstract. Video retrieval continues to be one of the most exciting research areas in the field of multimedia technology. With the advancement of sensing and tracking technologies i...
Cheng Chris Zhang, Sung-Bae Cho, Sidney Fels
IJCAI
2007
15 years 8 months ago
Nogood Recording from Restarts
Abstract. In this paper, nogood recording is investigated for CSP within the randomization and restart framework. Our goal is to avoid the same situations to occur from one run to ...
Christophe Lecoutre, Lakhdar Sais, Sébastie...
MC
2008
126views Computer Science» more  MC 2008»
15 years 8 months ago
Identifying User Interface Patterns from Pertinent Multimodal Interaction Use Cases
The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...
Andreas Ratzka
ECAI
2010
Springer
15 years 8 months ago
Majority Merging: from Boolean Spaces to Affine Spaces
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
Jean-François Condotta, Souhila Kaci, Pierr...
176
Voted
STTT
2008
95views more  STTT 2008»
15 years 6 months ago
FAST: acceleration from theory to practice
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
Sébastien Bardin, Alain Finkel, Jér&...