2661 search results - page 431 / 533 » Quantum Complexity Classes |
126
Voted
ENTCS
2006
15 years 1 months ago
2006
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
104
Voted
CAL
2007
15 years 1 months ago
2007
1 – In this paper, we propose a new class of branch predictors, complementary branch predictors, which can be easily added to any branch predictor to improve the overall predicti...
97
Voted
IJON
2008
15 years 1 months ago
2008
Support vector machine (SVM) is a powerful technique for data classification. Despite of its good theoretic foundations and high classification accuracy, normal SVM is not suitabl...
108
Voted
IANDC
2006
15 years 1 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
124
Voted
IJCV
2006
15 years 1 months ago
2006
Variational methods are among the most accurate techniques for estimating the optic flow. They yield dense flow fields and can be designed such that they preserve discontinuities, ...