186 search results - page 20 / 38 » Categorical Views on Computations on Trees (Extended Abstrac... |
105
click to vote
ADAEUROPE
2003
Springer
15 years 5 months ago
2003
Springer
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...
114
click to vote
EUROCRYPT
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
TACS
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
109
click to vote
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— We incorporate sampling-based global path planning with Visual Servoing (VS) for a robotic arm equipped with an in-hand camera. The path planning accounts for a number ...
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...