3690 search results - page 70 / 738 » Computation with classical sequents |
EMMCVPR
2001
Springer
15 years 2 months ago
2001
Springer
—Geodesic spline interpolation is a simple and efficient approach for landmark matching by nonambiguous mappings (diffeomorphisms), combining classic spline interpolation and ...
CCGRID
2004
IEEE
15 years 1 months ago
2004
IEEE
Highly popular websites can suffer classical congestion collapse because of the ability of outgoing `bursty' data to congest the server side link. Using the well known and re...
AAECC
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. In this paper we show that the separable decomposition of a univariate polynomial can be computed in softly optimal time, in terms of the number of arithmetic operations ...
ENTCS
2006
14 years 9 months ago
2006
The -calculus is destructive: its main computational mechanism
SCAM
2005
IEEE
15 years 3 months ago
2005
IEEE
A common theme in information security is protection of trusted software components against unauthorized access by untrusted users. In the context of distributed object technologi...