Sciweavers

NIPS
2004
13 years 5 months ago
Learning Hyper-Features for Visual Identification
We address the problem of identifying specific instances of a class (cars) from a set of images all belonging to that class. Although we cannot build a model for any particular in...
Andras Ferencz, Erik G. Learned-Miller, Jitendra M...
ICIA
2007
13 years 6 months ago
When Is Assistance Really Helpful?
We regularly operate under the notion that one agent assists another when the first does something for the second. However, the story behind this is much more complicated. In thi...
Wayne Iba
EVOW
2004
Springer
13 years 8 months ago
Hardness Prediction for the University Course Timetabling Problem
This paper presents an attempt to find a statistical model that predicts the hardness of the University Course Timetabling Problem by analyzing instance properties. The model may l...
Philipp Kostuch, Krzysztof Socha
TYPES
2004
Springer
13 years 9 months ago
Tactic-Based Optimized Compilation of Functional Programs
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
Thomas Meyer, Burkhart Wolff