10568 search results - page 339 / 2114 » Computer Intelligence and Formalization |
136
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
136
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
139
click to vote
JAPLL
2006
15 years 4 months ago
2006
For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to expl...
158
click to vote
LOGCOM
2008
15 years 4 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...
TCS
2002
15 years 3 months ago
2002
The first example of an absolutely normal number was given by Sierpinski in 1916, twenty years before the concept of computability was formalized. In this note we give a recursive...