1412 search results - page 234 / 283 » types 2004 |
189
Voted
ECCV
2004
Springer
16 years 7 months ago
2004
Springer
In this paper we describe the first stage of a new learning system for object detection and recognition. For our system we propose Boosting [5] as the underlying learning technique...
154
click to vote
SIGSOFT
2004
ACM
16 years 6 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
154
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
We investigate the prevalence and learning impact of different types of off-task behavior in classrooms where students are using intelligent tutoring software. We find that within...
294
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
271
Voted
POPL
2004
ACM
16 years 6 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...