2398 search results - page 434 / 480 » On modelling agent systems with Erlang |
164
click to vote
ICMCS
2006
IEEE
16 years 5 days ago
2006
IEEE
The synthesis of facial expression with control of intensity and personal styles is important in intelligent and affective human-computer interaction, especially in face-to-face i...
167
click to vote
AP2PC
2004
Springer
15 years 11 months ago
2004
Springer
Performing efficient decentralized search is a fundamental problem in Peer-to-Peer (P2P) systems. There has been a significant amount of research recently on developing robust sel...
160
Voted
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
212
click to vote
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
167
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...