1128 search results - page 89 / 226 » Classical Natural Deduction |
161
click to vote
UMC
2000
15 years 4 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
100
click to vote
CCA
2005
Springer
15 years 2 months ago
2005
Springer
If one wishes to find out whether a computational problem over discrete data is solvable or how complex it is, the classical approach is to represent the discrete objects in quest...
72
Voted
ACL
1997
15 years 2 months ago
1997
We describe a simple variant of the interpolated Markov model with nonemitting state transitions and prove that it is strictly more powerful than any Markov model. More importantl...
148
Voted
ALENEX
2008
15 years 1 months ago
2008
We present the algorithmic core of a full text data base that allows fast Boolean queries, phrase queries, and document reporting using less space than the input text. The system ...
106
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer
We study randomized variants of two classical algorithms: coordinate descent for systems of linear equations and iterated projections for systems of linear inequalities. Expanding...