891 search results - page 37 / 179 » Full Abstraction for PCF |
TSD
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Natural audio-visual interface between human user and machine requires understanding of user’s audio-visual commands. This does not necessarily require full speech and ...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
FSE
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. Sober-t32 is a candidate stream cipher in the NESSIE competition. Some new attacks are presented in this paper. A Guess and Determine attack is mounted against Sober-t32 ...
ICRA
2002
IEEE
14 years 19 days ago
2002
IEEE
We present a graphical user interface (GUI) for easy, intuitive control of a group of mobile robots moving in formation, and we give a short description of the general, local, dis...
CIE
2010
Springer
14 years 15 days ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...