3690 search results - page 204 / 738 » Computation with classical sequents |
SODA
2010
ACM
15 years 10 months ago
2010
ACM
We study the computational complexity of some central analysis problems for One-Counter Markov Decision Processes (OC-MDPs), a class of finitely-presented, countable-state MDPs. O...
141
Voted
ESSMAC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. While there is strong motivation for using Gaussian Processes (GPs) due to their excellent performance in regression and classification problems, their computational com...
102
Voted
MM
2009
ACM
15 years 7 months ago
2009
ACM
The Bag-of-visual Words (BoW) image representation has been applied for various problems in the fields of multimedia and computer vision. The basic idea is to represent images as ...
101
Voted
MM
2004
ACM
15 years 6 months ago
2004
ACM
Involving a school teacher in the development of the intelligent writing tutor StoryStation allowed progress to be made on the problem of story classification, an aspect of story...
96
Voted
BMCBI
2007
15 years 21 days ago
2007
Background: Predicting a protein’s structural class from its amino acid sequence is a fundamental problem in computational biology. Much recent work has focused on developing ne...