4690 search results - page 324 / 938 » An operational semantics for Scheme |
183
click to vote
ISER
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents a new teleoperation scheme for mobile manipulation systems. A virtual spring connects a master and slave system where local force feedback on the slave system c...
197
click to vote
ICS
2001
Tsinghua U.
15 years 11 months ago
2001
Tsinghua U.
The issue logic of dynamically scheduled superscalar processors is one of their most complex and power-consuming parts. In this paper we present alternative issue-logic designs th...
186
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Encryption schemes that support computation on encrypted data are useful in constructing efficient and intuitively simple cryptographic protocols. However, the approach was previo...
178
click to vote
WIOPT
2005
IEEE
16 years 11 days ago
2005
IEEE
End-to-end encryption schemes that support operations over ciphertext are of utmost importance for commercial private party Wireless Sensor Network implementations to become meani...
206
click to vote
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...