4372 search results - page 352 / 875 » Algorithmic Theories of Everything |
180
click to vote
KR
2004
Springer
16 years 5 days ago
2004
Springer
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...
136
click to vote
NIME
2004
Springer
16 years 4 days ago
2004
Springer
The choice of mapping strategies to effectively map controller variables to sound synthesis algorithms is examined. Specifically, we look at continuous mappings that have a geom...
170
click to vote
ECRTS
2003
IEEE
16 years 3 days ago
2003
IEEE
A theory of resource sharing in a mixed system with hard real-time and non-real-time processing requirements is presented. The real-time processing is modeled as rate-based execut...
171
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
179
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
The task of a fast correlation attack is to efficiently restore the initial content of a linear feedback shift register in a stream cipher using a detected correlation with the out...