EVOW
2010
Springer
13 years 11 months ago
2010
Springer
A challenging problem in bioinformatics is the detection of residues that account for protein function specificity, not only in order to gain deeper insight in the nature of functi...
EVOW
2010
Springer
13 years 11 months ago
2010
Springer
EVOW
2010
Springer
13 years 11 months ago
2010
Springer
Recognizing arbitrary objects in images or video sequences is a difficult task for a computer vision system. We work towards automated learning of object detectors from video seque...
EVOW
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper deals with the mapping of the parallel islandbased genetic algorithm with unidirectional ring migrations to nVidia CUDA software model. The proposed mapping is...
AUSAI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Spectral co-clustering is a generic method of computing coclusters of relational data, such as sets of documents and their terms. Latent semantic analysis is a method of ...
AIIA
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper presents the first release of EDITS, an opensource software package for recognizing Textual Entailment developed by FBK-irst. The main contributions of EDITS ...
AIED
2009
Springer
13 years 11 months ago
2009
Springer
Giving effective help is an important collaborative skill that leads to improved learning for both the help-giver and help-receiver. Adding intelligent tutoring to student interact...
AI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Two novel Natural Language Processing (NLP) classification techniques are applied to the analysis of corporate annual reports in the task of financial forecasting. The ...
ACMACE
2009
ACM
13 years 11 months ago
2009
ACM
The Zuzen framework is an intelligent tool set for assisting in the generation of machinima. With Zuzen, users that are novice cinematographers do not need to use complex movie-ma...
AISC
2010
Springer
13 years 11 months ago
2010
Springer
We prove formally that the first order theory of algebraically closed fields enjoy quantifier elimination, and hence is decidable. This proof is organized in two modular parts. We ...