5451 search results - page 618 / 1091 » Typed Operational Semantics |
175
click to vote
TARK
2007
Springer
16 years 28 days ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
168
click to vote
APGV
2005
ACM
16 years 11 days ago
2005
ACM
In this paper, we propose a tone mapping operator based on a multiscale representation pattern and on thresholds of detection contrast computed for local adaptation luminances. Th...
172
click to vote
APN
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
162
click to vote
ICS
2005
Tsinghua U.
16 years 9 days ago
2005
Tsinghua U.
Although unstructured mesh algorithms are a popular means of solving problems across a broad range of disciplines—from texture mapping to computational fluid dynamics—they ar...
209
click to vote
SPIN
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...