771 search results - page 39 / 155 » EasyCheck - Test Data for Free |
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
KDD
2005
ACM
15 years 3 months ago
2005
ACM
We propose a new text mining system which extracts characteristic contents from given documents. We define Key semantics as characteristic sub-structures of syntactic dependencie...
RECOMB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Much important evolutionary activity occurs in gene clusters, where a copy of a gene may be free to evolve new functions. Computational methods to extract evolutionary in...
RECOMB
2005
Springer
15 years 10 months ago
2005
Springer
A considerable fraction of yeast gene promoters are bound by multiple transcription factors. To study the combinatorial interactions of multiple transcription factors is thus impor...
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...