3384 search results - page 419 / 677 » More Testable Properties |
156
click to vote
CALCO
2007
Springer
16 years 25 days ago
2007
Springer
In formal language theory, James Rogers published a series of innovative papers generalising strings and trees to higher dimensions.Motivated by applications in linguistics, his go...
172
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
193
click to vote
CIKM
2007
Springer
16 years 25 days ago
2007
Springer
Challenging the implicit reliance on document collections, this paper discusses the pros and cons of using query logs rather than document collections, as self-contained sources o...
164
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
202
click to vote
CSR
2007
Springer
16 years 24 days ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...