Sciweavers

1745 search results - page 191 / 349
» A Context-Based Model of Attention
Sort
View
111
Voted
CADE
2010
Springer
15 years 1 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
106
Voted
ECAI
2010
Springer
15 years 1 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...
CLEF
2009
Springer
15 years 1 months ago
Formulating Good Queries for Prior Art Search
In this paper we describe our participation in CLEF-IP 2009 (prior art search task). This was the first year of the task and we focused on how to build effectively a prior art quer...
José Carlos Toucedo, David E. Losada
89
Voted
EUROPAR
2010
Springer
15 years 1 months ago
Non-clairvoyant Scheduling of Multiple Bag-of-Tasks Applications
The bag-of-tasks application model, albeit simple, arises in many application domains and has received a lot of attention in the scheduling literature. Previous works propose eithe...
Henri Casanova, Matthieu Gallet, Fréd&eacut...
86
Voted
ICASSP
2010
IEEE
15 years 29 days ago
Statistics of natural image distortions
Natural scene statistics (NSS) are an active area of research. Although there exist elegant models for NSS, the statistics of natural image distortions have received little attent...
Anush K. Moorthy, Alan C. Bovik