Sciweavers

1426 search results - page 86 / 286
» A theory of goal-oriented communication
Sort
View
147
Voted
STORYTELLING
2005
Springer
15 years 7 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
IPSN
2007
Springer
15 years 7 months ago
Power scheduling for wireless sensor and actuator networks
We previously presented a model for some wireless sensor and actuator network (WSAN) applications based on the vector space tools of frame theory. In this WSAN model there is a we...
Christopher J. Rozell, Don H. Johnson
KBSE
1998
IEEE
15 years 5 months ago
Planning Equational Verification in CCS
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
Raul Monroy, Alan Bundy, Ian Green
132
Voted
JCO
2006
126views more  JCO 2006»
15 years 1 months ago
Minimum power assignment in wireless ad hoc networks with spanner property
Power assignment for wireless ad hoc networks is to assign a power for each wireless node such that the induced communication graph has some required properties. Recently research ...
Yu Wang 0003, Xiang-Yang Li
ATAL
2009
Springer
15 years 8 months ago
A model for integrating dialogue and the execution of joint plans
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
Yuqing Tang, Timothy J. Norman, Simon Parsons