4299 search results - page 621 / 860 » Concurrent Test Generation |
114
click to vote
CRYPTO
2003
Springer
15 years 9 months ago
2003
Springer
On August 2002, Agrawal, Kayal and Saxena announced the first deterministic and polynomial time primality testing algorithm. For an input n, the AKS algorithm runs in heuristic t...
134
click to vote
DBPL
2003
Springer
15 years 9 months ago
2003
Springer
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
146
click to vote
IDA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Many examples exist of multivariate time series where dependencies between variables change over time. If these changing dependencies are not taken into account, any mode...
116
click to vote
HT
2010
ACM
15 years 9 months ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...
107
Voted
ESWS
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we build on our methodology for combining and selecting alignment techniques for vocabularies, with two alignment case studies of large vocabularies in two languages....