4835 search results - page 400 / 967 » Refactoring Functional Programs |
165
click to vote
CLEIEJ
2002
15 years 6 months ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
169
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of...
176
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Assume a swarm of mobile robots is in the act of transporting a large object in the plane, by applying unilateral forces to the perimeter of that object. We address the questio...
214
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Next Generation Network (NGN) has a multilayer logical construction. Network carriers use various tools in complex procedures to operate application servers on the NG...
161
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...