11397 search results - page 2066 / 2280 » A Relational Abstraction for Functions |
198
click to vote
ICDCSW
2002
IEEE
16 years 6 days ago
2002
IEEE
Abstract—Caching static HTTP traffic in proxy-caches has reduced bandwidth consumption and download latency. However, web-caching performance is hard to increase further due to ...
236
click to vote
CIE
2010
Springer
16 years 2 days ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
213
click to vote
ICIAR
2010
Springer
16 years 1 days ago
2010
Springer
Abstract. The Scale Invariant Feature Transform (SIFT) is an algorithm used to detect and describe scale-, translation- and rotation-invariant local features in images. The origina...
146
click to vote
ICSE
2010
IEEE-ACM
16 years 1 days ago
2010
IEEE-ACM
We describe twinning and its applications to adapting programs to alternative APIs. Twinning is a simple technique that allows programmers to specify a class of program changes, i...
194
click to vote
CICLING
2001
Springer
15 years 11 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...