68 search results - page 8 / 14 » 2006 and 2007 Max-SAT Evaluations: Contributed Instances |
ESWA
2007
14 years 9 months ago
2007
In this paper it is presented our contribution for carrying out adaptive and intelligent Web-based Education Systems (WBES) that take into account the individual student learning ...
IJHPCA
2010
14 years 8 months ago
2010
We describe and evaluate a new, pipelined algorithm for large, irregular all-gather problems. In the irregular all-gather problem each process in a set of processes contributes in...
BDA
2006
14 years 11 months ago
2006
We consider a publish/subscribe system for digital libraries which continuously evaluates queries over a large repository containing document descriptions. The subscriptions, the ...
BIOCOMP
2006
14 years 11 months ago
2006
Previous studies have shown that the quantification of volumetric blood flow from a color Doppler image (CDI) is a feasible approach to eliminate technical obstacles in the tradit...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a method of learning and recognizing generic object categories using part-based spatial models. The models are multiscale, with a scene component that specifie...