26071 search results - page 405 / 5215 » Making |
155
click to vote
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we explore the similarities between a mathematical model of language evolution and several A-life simulations. We argue that the mathematical model makes so...
164
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
We have analyzed a corpus of human-authored arguments expressed in text and information graphics, non-pictorial graphics such as bar graphs. The goal of our research is to enable i...
144
click to vote
IMA
2001
Springer
15 years 11 months ago
2001
Springer
n, important for interoperability only. We can make abstraction from the representation of the elements of GF(28 ) and consider a block cipher that operates on strings of elements ...
189
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
168
click to vote
TLCA
2001
Springer
15 years 11 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...