1847 search results - page 246 / 370 » Hybrid Functional Interpretations |
125
click to vote
IVA
2007
Springer
16 years 1 months ago
2007
Springer
Embodied conversational agents should be able to provide feedback on what a human interlocutor is saying. We are compiling a list of facial feedback expressions that signal attenti...
199
Voted
ICFP
2005
ACM
16 years 13 days ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
224
click to vote
FSTTCS
2005
Springer
16 years 12 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
183
click to vote
QOSIP
2005
Springer
16 years 11 days ago
2005
Springer
In this paper, we present a novel approach to the congestion control and resource allocation problem of elastic and real-time traffic in telecommunication networks. With the concep...
196
click to vote
IEEEAMS
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...