Sciweavers

2655 search results - page 485 / 531
» An agent model for fault-tolerant systems
Sort
View
ICMCS
2006
IEEE
169views Multimedia» more  ICMCS 2006»
14 years 2 months ago
Synthesis and Control of High Resolution Facial Expressions for Visual Interactions
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...
Chan-Su Lee, Ahmed M. Elgammal, Dimitris N. Metaxa...
AP2PC
2004
Springer
14 years 2 months ago
Unstructured Peer-to-Peer Networks: Topological Properties and Search Performance
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...
George H. L. Fletcher, Hardik A. Sheth, Katy B&oum...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
14 years 2 months ago
Linking CSP-OZ with UML and Java: A Case Study
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...
Michael Möller, Ernst-Rüdiger Olderog, H...
WWW
2005
ACM
14 years 9 months ago
Automated semantic web services orchestration via concept covering
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...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
NICSO
2010
Springer
14 years 3 months ago
A Metabolic Subsumption Architecture for Cooperative Control of the e-Puck
Subsumption architectures are a well-known model for behaviour-based robotic control. The overall behaviour is achieved by defining a hierarchy of increasingly sophisticated behav...
Verena Fischer, Simon J. Hickinbotham