8874 search results - page 109 / 1775 » A New Implementation of Automath |
145
click to vote
XPU
2005
Springer
15 years 12 months ago
2005
Springer
Many have reported successful experiences using XP, but we have not yet seen many experiences adapting agile methodologies in developing countries such as Brazil. In a developing e...
161
click to vote
EUC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In distributed streaming media server clusters, by adopting cooperative caching (CC) technique, the free memory of all the servers can be combined to form a bigger, logic...
130
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
− A behavior-based control and learning architecture is proposed, where reinforcement learning is applied to learn proper associations between stimulus and response by using two ...
180
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract— In this paper, we share our experience in designing and building a content based switch which we call L5. In addition to the layer 2-3-4 information available in the pa...
158
click to vote
CC
2000
Springer
15 years 10 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...