1930 search results - page 266 / 386 » Learning to Solve QBF |
CHI
1993
ACM
14 years 1 months ago
1993
ACM
A software tool called EXPLAINER has been developed for helping programmers perform new tasks by exploring previously worked-out examples. EXPLAINER is based on cognitive principl...
DEXAW
2007
IEEE
14 years 1 months ago
2007
IEEE
We built a system for the automatic creation of a textbased topic hierarchy, meant to be used in a geographically defined community. This poses two main problems. First, the appea...
CNSR
2009
IEEE
14 years 1 months ago
2009
IEEE
Online classification of network traffic is very challenging and still an issue to be solved due to the increase of new applications and traffic encryption. In this paper, we prop...
3DPVT
2004
IEEE
14 years 27 days ago
2004
IEEE
This paper proposes the use of neural network ensembles to boost the performance of a neural network based surface reconstruction algorithm. Ensemble is a very popular and powerfu...
CIVR
2006
Springer
14 years 27 days ago
2006
Springer
Abstract. The location of video scenes is an important semantic descriptor especially for broadcast news video. In this paper, we propose a learning-based approach to annotate shot...