3690 search results - page 232 / 738 » Computation with classical sequents |
97
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...
91
Voted
ISVC
2005
Springer
15 years 6 months ago
2005
Springer
We propose a discrete regularization framework on weighted graphs of arbitrary topology, which leads to a family of nonlinear filters, such as the bilateral filter or the TV digi...
97
Voted
ANTS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents an investigative account of arbitrary cubic function fields. We present an elementary classification of the signature of a cubic extension of a rati...
215
click to vote
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
72
Voted
ISMIR
2004
Springer
15 years 6 months ago
2004
Springer
Musicians are able to recognise the subtle differences in timbre produced by different playing techniques on an instrument, yet there has been little research into achieving this ...