Sciweavers

981 search results - page 173 / 197
» Semantics for an Agent Communication Language
Sort
View
MICAI
2004
Springer
15 years 3 months ago
Finding the Most Similar Concepts in Two Different Ontologies
A concise manner to send information from agent A to B is to use phrases constructed with the concepts of A: to use the concepts as the atomic tokens to be transmitted. Unfortunate...
Adolfo Guzmán-Arenas, Jesus M. Olivares-Cej...
ICMCS
2000
IEEE
99views Multimedia» more  ICMCS 2000»
15 years 2 months ago
Automatic Selection of Visemes for Image-Based Visual Speech Synthesis
An image-based approach provides an efficient way for visual speech synthesis. In an image-based visual speech synthesis system, a few lip images, namely visemes, are used for ge...
Jie Yang, Jing Xiao, Max Ritter
CONCUR
2004
Springer
15 years 3 months ago
Session Types for Functional Multithreading
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
Vasco Thudichum Vasconcelos, António Ravara...
ENGL
2008
129views more  ENGL 2008»
14 years 9 months ago
The Creation of a Chinese Emotion Ontology Based on HowNet
Full comprehension of language comes about by understanding the meaning and the emotion behind the communication. Understanding the meaning of language is the goal of natural lang...
Jiajun Yan, David B. Bracewell, Fuji Ren, Shingo K...
77
Voted
COORDINATION
2009
Springer
15 years 10 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti