4757 search results - page 389 / 952 » Monads for Functional Programming |
172
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...
212
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...
158
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...
187
Voted
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
172
click to vote
VMCAI
2007
Springer
16 years 26 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...