Sciweavers

1490 search results - page 155 / 298
» Interactive semantics
Sort
View
ICWL
2007
Springer
14 years 4 months ago
Language-Driven Development of Web-Based Learning Applications
In this paper we propose a language-driven approach for the high-level design of web-based learning applications. In our approach we define a domainspecific language that character...
José Luis Sierra, Baltasar Fernández...
IVA
2005
Springer
14 years 3 months ago
Natural Behavior of a Listening Agent
Abstract. In contrast to the variety of listening behaviors produced in humanto-human interaction, most virtual agents sit or stand passively when a user speaks. This is a reflecti...
R. M. Maatman, Jonathan Gratch, Stacy Marsella
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
14 years 3 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
AGENTCL
2003
Springer
14 years 3 months ago
Nonmonotonic Commitment Machines
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
Amit K. Chopra, Munindar P. Singh
ATAL
2003
Springer
14 years 3 months ago
Expressive global protocols via logic-based electronic institutions
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
Wamberto Weber Vasconcelos