564 search results - page 1 / 113 » Lazy Code Motion |
PLDI
1992
ACM
13 years 8 months ago
1992
ACM
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
— We present a new algorithm for solving the global localization problem called Frozen-Time Smoother (FTS). Time is ‘frozen’, in the sense that the belief always refers to th...
SEFM
2006
IEEE
13 years 11 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
SISW
2005
IEEE
13 years 11 months ago
2005
IEEE
A crucial element of distributed cryptographic file systems are key management solutions that allow for flexible but secure data sharing. We consider efficient key management s...
PADL
2005
Springer
13 years 10 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...