Sciweavers

1426 search results - page 55 / 286
» A theory of goal-oriented communication
Sort
View
ACSD
2004
IEEE
160views Hardware» more  ACSD 2004»
15 years 5 months ago
Concurrency in Synchronous Systems
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis ...
Dumitru Potop-Butucaru, Benoît Caillaud, Alb...
ATAL
2007
Springer
15 years 5 months ago
Joint conversation specification and compliance
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
Shamimabi Paurobally, Michael Wooldridge
MOBICOM
2012
ACM
13 years 4 months ago
Temporal reachability graphs
While a natural fit for modeling and understanding mobile networks, time-varying graphs remain poorly understood. Indeed, many of the usual concepts of static graphs have no obvi...
John Whitbeck, Marcelo Dias de Amorim, Vania Conan...
AIML
1998
15 years 2 months ago
Propositions, Propositional Attitudes and Belief Revision
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
Rohit Parikh
ICMCS
2006
IEEE
76views Multimedia» more  ICMCS 2006»
15 years 7 months ago
Predictive Dynamic User Interfaces for Interactive Visual Search
This paper proposes a method for designing user interfaces based on ideas rooted in data communication theory. It suggests that a visual user interface should be treated as a mult...
Sam Mavandadi, Parham Aarabi, Azadeh Khaleghi, Ron...