813 search results - page 94 / 163 » desire 2010 |
DIS
2010
Springer
13 years 7 months ago
2010
Springer
Sequence labeling is the task of assigning a label sequence to an observation sequence. Since many methods to solve this problem depend on the specification of predictive features...
FUIN
2010
13 years 7 months ago
2010
In this paper we present an application of the propositional SATisfiability environment to computing some simple orthogonal matrices and some interesting tasks in the area of cry...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
Data-driven analysis methods, in particular independent component analysis (ICA) has proven quite useful for the analysis of functional magnetic imaging (fMRI) data. In addition, ...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
Bag-of-visual Words (BoW) image representation is getting popular in computer vision and multimedia communities. However, experiments show that the traditional BoW representation ...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...