1925 search results - page 122 / 385 » Dynamic Typing |
FOIS
2006
13 years 10 months ago
2006
Natural languages are easy to learn by infants, they can express any thought that any adult might ever conceive, and they accommodate the limitations of human breathing rates and s...
TARK
2005
Springer
14 years 2 months ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
ICNC
2005
Springer
14 years 2 months ago
2005
Springer
Using an agent-based multi-asset artificial stock market, we simulate the survival dynamics of investors with different risk preferences. It is found that the survivability of in...
ICALP
2000
Springer
14 years 22 days ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
IEAAIE
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal de...