6885 search results - page 108 / 1377 » The micro-structure of use of help |
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper introduces a new approach of approximating the selectivity of multimedia range queries. Estimating the selectivity of a range query is a pre-requisite to optimize a mul...
LPE
2003
13 years 11 months ago
2003
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article accompanies an invited talk about how the SWI-Prolog e...
KI
2006
Springer
13 years 10 months ago
2006
Springer
Classifying objects in computer vision, we are faced with a great many features one can use. This paper argues that diagrammatic representations help to comprehend properties of fe...
FMCAD
2007
Springer
14 years 4 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
EDM
2010
13 years 11 months ago
2010
We describe pedagogical and student modeling based on past student interactions with a tutoring system. We model student effort with an integrated view of student behaviors (e.g. t...