3690 search results - page 70 / 738 » Computation with classical sequents |
127
click to vote
EMMCVPR
2001
Springer
15 years 9 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 ...
116
click to vote
CCGRID
2004
IEEE
15 years 8 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...
145
click to vote
AAECC
2008
Springer
15 years 4 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
15 years 4 months ago
2006
The -calculus is destructive: its main computational mechanism
141
click to vote
SCAM
2005
IEEE
15 years 10 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...