535 search results - page 50 / 107 » Do we need dependent types |
OOPSLA
1999
Springer
13 years 12 months ago
1999
Springer
In this paper we present the Generic Graph Component Library (GGCL), a generic programming framework for graph data structures and graph algorithms. Following the theme of the Sta...
LAMAS
2005
Springer
14 years 1 months ago
2005
Springer
We present a new multiagent learning algorithm, RVσ(t), that builds on an earlier version, ReDVaLeR . ReDVaLeR could guarantee (a) convergence to best response against stationary ...
PLDI
2000
ACM
14 years 2 days ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
AINTEC
2007
Springer
14 years 1 months ago
2007
Springer
With the tremendous growth of World Wide Web (WWW), the door has been opened to a multitude of services and information for even the most casual of users. Today, many wireless and ...
COMPSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
One important trend in enterprise-scale IT has been the increasing use of business-to-business integration (B2Bi) technologies to automate business processes that cross organisati...