2214 search results - page 225 / 443 » Complexity of Reasoning |
129
click to vote
CIS
2004
Springer
15 years 9 months ago
2004
Springer
For finding accurate and biologically meaningful multiple sequence alignment, it is required to consider a loosely constrained version of multiple sequence alignment. This paper is...
106
click to vote
CRYPTO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we study the existence of multicollisions in iterated hash functions. We show that finding multicollisions, i.e. r-tuples of messages that all hash to the...
128
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper shows by a constructive method the existence of a diagrammatic representation called extended Euler diagrams for any collection of sets X1, ..., Xn , n < 9....
135
click to vote
DIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we consider 0/1 databases and provide an alternative way of extracting knowledge from such databases using tiles. A tile is a region in the database consis...
129
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...