2490 search results - page 272 / 498 » Complexity of Contextual Reasoning |
148
Voted
TARK
2005
Springer
15 years 10 months ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
121
click to vote
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
An important question that must be addressed in a coherent computing curriculum is which programming environments to use across the curriculum. For Java, currently the most widely...
140
Voted
CIS
2004
Springer
15 years 10 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...
115
Voted
CRYPTO
2004
Springer
15 years 10 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...
138
click to vote
DIAGRAMS
2004
Springer
15 years 10 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....