13383 search results - page 345 / 2677 » Abstractions from proofs |
150
click to vote
HCI
2007
15 years 8 months ago
2007
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...
171
click to vote
IJCAI
2007
15 years 8 months ago
2007
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 ...
193
click to vote
MC
2008
15 years 8 months ago
2008
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...
178
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
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...
176
Voted
STTT
2008
15 years 6 months ago
2008
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...