891 search results - page 46 / 179 » Full Abstraction for PCF |
VECPAR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Optimization problems constrained by nonlinear partial differential equations have been the focus of intense research in scientific computing lately. Current methods for...
JCDL
2003
ACM
14 years 29 days ago
2003
ACM
To support effective browsing, interfaces to digital video libraries should include video surrogates (i.e., smaller objects that can stand in for the videos in the on, analogous t...
COCOON
2001
Springer
14 years 7 days ago
2001
Springer
abstract appeared in: Proc. of 7th Ann. Int. Computing and Combinatorics Conference, COCOON 2001 (ed. J. Wang), Lecture Notes in Computer Science Vol. 2108, Springer-Verlag, Berlin...
GCSE
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. The C++ language has only a limited runtime type information system, which doesn’t provide full reflection capabilities. We present a general mechanism to support refle...
DCC
1998
IEEE
14 years 56 min ago
1998
IEEE
Abstract. The Burrows-Wheeler transform (BWT) and block sorting compression are closely related to the context trees of PPM. The usual approach of treating BWT as merely a permutat...