Sciweavers

7064 search results - page 116 / 1413
» From States to Histories
Sort
View
ACSD
1998
IEEE
121views Hardware» more  ACSD 1998»
15 years 10 months ago
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
Alex Kondratyev, Jordi Cortadella, Michael Kishine...
FLAIRS
2009
15 years 4 months ago
Modeling Belief Change on Epistemic States
Belief revision always results in trusting new evidence, so it may admit an unreliable one and discard a more confident one. We therefore use belief change instead of belief revis...
Jianbing Ma, Weiru Liu
CORR
2010
Springer
82views Education» more  CORR 2010»
15 years 3 months ago
Secret-key Agreement with Channel State Information at the Transmitter
We study the capacity of secret-key agreement over a wiretap channel with state parameters. The transmitter communicates to the legitimate receiver and the eavesdropper over a disc...
Ashish Khisti, Suhas N. Diggavi, Gregory W. Wornel...
PRIMA
2009
Springer
16 years 1 months ago
An Adaptive Agent Model for Emotion Reading by Mirroring Body States and Hebbian Learning
In recent years, the topic of emotion reading has increasingly received attention from researchers in Cognitive Science and Artificial Intelligence. To study this phenomenon, in th...
Tibor Bosse, Zulfiqar A. Memon, Jan Treur
ICST
2008
IEEE
16 years 26 days ago
State-Based Testing of Ajax Web Applications
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca