6306 search results - page 1011 / 1262 » Space, Time, and the Use of Language |
178
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
148
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
173
click to vote
SPIRE
1998
Springer
15 years 11 months ago
1998
Springer
We present a fast compression and decompression technique for natural language texts. The novelty is that the exact search can be done on the compressed text directly, using any k...
241
click to vote
CPE
1994
Springer
15 years 10 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
171
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...