3775 search results - page 41 / 755 » The Expression Problem Revisited |
86
Voted
WSPI
2004
15 years 2 months ago
2004
Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge that have long attracted special interest. There have been numerous attempts to give either a for...
93
Voted
BMVC
2000
15 years 2 months ago
2000
The objective of this paper is to estimate the orientation of a scene plane from an uncalibrated perspective image under the assumption that the scene is coated with a homogeneous...
100
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
We study a generalized version of reversal bounded Turing machines where, apart from several tapes on which the number of head reversals is bounded by r(n), there are several furth...
117
click to vote
IOR
2008
15 years 21 days ago
2008
The stochastic knapsack has been used as a model in wide ranging applications from dynamic resource allocation to admission control in telecommunication. In recent years, a variat...
99
Voted
ACTA
2005
15 years 19 days ago
2005
It is known that LTL formulae without the `next' operator are invariant under the so-called stutter-equivalence of words. In this paper we extend this principle to general LTL...