18429 search results - page 417 / 3686 » Typing dynamic typing |
163
click to vote
ICNC
2005
Springer
16 years 11 days 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...
169
click to vote
ICALP
2000
Springer
15 years 10 months 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,...
156
Voted
ENTCS
2008
15 years 7 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
124
Voted
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The aim of this paper is to propose a method for tagging named entities (NE), using natural language processing techniques. Beyond their literal meaning, named entities are freque...
196
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Achieving the Nash equilibria for single objective games is known to be a computationally difficult problem. However there is a special class of equilibria called evolutionary...