Sciweavers

1115 search results - page 95 / 223
» Attention Tracking - Measuring the Focus of Attention
Sort
View
CADE
2010
Springer
13 years 10 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...
CLEF
2009
Springer
13 years 10 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
ECCV
2010
Springer
13 years 9 months ago
Colorization for Single Image Super Resolution
This paper introduces a new procedure to handle color in single image super resolution (SR). Most existing SR techniques focus primarily on enforcing image priors or synthesizing i...
Shuaicheng Liu, Michael S. Brown, Seon Joo Kim, Yu...
BC
2008
52views more  BC 2008»
13 years 9 months ago
Population vector code: a geometric universal as actuator
The population vector code relates directional tuning of single cells and global, directional motion incited by an assembly of neurons. In this paper three things are done. First, ...
J. Leo van Hemmen, Andrew B. Schwartz
FUIN
2008
76views more  FUIN 2008»
13 years 9 months ago
Prescribed Learning of Indexed Families
Abstract. This work extends studies of Angluin, Lange and Zeugmann on how learnability of a language class depends on the hypothesis space used by the learner. While previous studi...
Sanjay Jain, Frank Stephan, Nan Ye