56 search results - page 7 / 12 » Implementing Parameterized Type Algorithm Definitions in Mat... |
118
click to vote
CGF
2010
15 years 2 months ago
2010
This paper presents a diffusion method for generating terrains from a set of parameterized curves that characterize the landform features such as ridge lines, riverbeds or cliffs....
115
click to vote
FINTAL
2006
15 years 5 months ago
2006
Abstract. Discourse segmentation is the division of a text into minimal discourse segments, which form the leaves in the trees that are used to represent discourse structures. A de...
210
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
130
click to vote
TCS
2008
15 years 2 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
165
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...