18429 search results - page 418 / 3686 » Typing dynamic typing |
155
Voted
IGPL
2010
15 years 5 months ago
2010
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
168
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Maintaining object-oriented systems that use inheritance and polymorphism is difficult, since runtime information, such as which methods are actually invoked at a call site, is n...
203
click to vote
CIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we compare state-of-the-art multi-agent reinforcement learning algorithms in a wide variety of games. We consider two types of algorithms: value iteration a...
143
click to vote
GLVLSI
2005
IEEE
16 years 14 days ago
2005
IEEE
We present simulations for ultra-thin body, fully-depleted, double-gate (DG) silicon-on-insulator (SOI) devices that can be readily optimized for both static power loss and perfor...
159
Voted
HAPTICS
2005
IEEE
16 years 14 days ago
2005
IEEE
In this paper we present a software approach to managing complexity for haptic rendering of large-scale geometric models, consisting of tens to hundreds of thousands of distinct g...