Sciweavers

696 search results - page 51 / 140
» Explaining abstract counterexamples
Sort
View
146
Voted
CLEF
2004
Springer
15 years 8 months ago
How to Visually Retrieve Images from the St. Andrews Collection Using GIFT
Abstract. The ImageCLEF task of CLEF has a main goal in the retrieval of images from multi–lingual collections. The 2003 imageCLEF saw no group using the visual information of im...
Henning Müller, Antoine Geissbühler
119
Voted
CG
2008
Springer
15 years 5 months ago
Cognitive Modeling of Knowledge-Guided Information Acquisition in Games
Since Chase and Simon presented their influential paper on perception in chess in 1973, the use of chunks has become the subject of a number of studies into the cognitive behavior ...
Reijer Grimbergen
136
Voted
EUSFLAT
2009
162views Fuzzy Logic» more  EUSFLAT 2009»
15 years 1 months ago
Early Start Can Inhibit Learning: Towards A New Explanation
The age at which we teach different topics change. If it turns out that students do not learn, say, reading by the time they should, a natural idea is to start teaching them earlie...
Olga Kosheleva
EXACT
2009
15 years 1 months ago
Towards the Explanation of Workflows
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
James Michaelis, Li Ding, Deborah L. McGuinness
CDC
2010
IEEE
140views Control Systems» more  CDC 2010»
14 years 10 months ago
On the observability of linear systems from random, compressive measurements
Abstract-- Recovering or estimating the initial state of a highdimensional system can require a potentially large number of measurements. In this paper, we explain how this burden ...
Michael B. Wakin, Borhan Molazem Sanandaji, Tyrone...