598 search results - page 69 / 120 » Predicting Lattice Reduction |
144
Voted
SAS
1997
Springer
15 years 8 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
157
click to vote
CGF
2005
15 years 3 months ago
2005
We introduce FreeLence, a novel and simple single-rate compression coder for triangle manifold meshes. Our method uses free valences and exploits geometric information for connect...
107
click to vote
TVLSI
2002
15 years 3 months ago
2002
With process technology and functional integration advancing steadily, chips are continuing to grow in area while critical dimensions are shrinking. This has led to the emergence o...
109
click to vote
EMNLP
2009
15 years 1 months ago
2009
In this paper we propose a novel statistical language model to capture long-range semantic dependencies. Specifically, we apply the concept of semantic composition to the problem ...
DNA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...