3690 search results - page 195 / 738 » Computation with classical sequents |
78
Voted
BMVC
2002
15 years 3 months ago
2002
The Trace transform is a generalisation of the Radon transform that allows one to construct image features that do not necessarily have meaning in terms of human perception, but t...
129
click to vote
AMDO
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper we propose an original approach to solve the Inverse Kinematics problem. Our framework is based on Sequential Monte Carlo Methods and has the advantage to a...
86
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
107
click to vote
DLT
2008
15 years 2 months ago
2008
Extended multi bottom-up tree transducers are de ned and investigated. They are an extension of multi bottom-up tree transducers by arbitrary, not just shallow, left-hand sides of ...
NIPS
1996
15 years 2 months ago
1996
While on-line handwriting recognition is an area of long-standing and ongoing research, the recent emergence of portable, pen-based computers has focused urgent attention on usabl...