11212 search results - page 1984 / 2243 » Semi-persistent Data Structures |
133
click to vote
MKM
2004
Springer
15 years 9 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
136
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
130
click to vote
CSB
2003
IEEE
15 years 9 months ago
2003
IEEE
The complexity of the global organization and internal structures of motifs in higher eukaryotic organisms raises significant challenges for motif detection techniques. To achiev...
131
click to vote
MICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Large instruction window processors achieve high performance by exposing large amounts of instruction level parallelism. However, accessing large hardware structures typically req...
131
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...