6719 search results - page 1083 / 1344 » A Generalization of Automatic Sequences |
192
click to vote
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Worm detection systems have traditionally focused on global strategies. In the absence of a global worm detection system, we examine the effectiveness of local worm detection and ...
176
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...
214
click to vote
BIBE
2004
IEEE
15 years 11 months ago
2004
IEEE
Numerous genomic annotations are currently stored in different web-accessible databanks that scientists need to mine with user-defined queries and in a batch mode to orderly integ...
196
click to vote
CSMR
2004
IEEE
15 years 11 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
199
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...