2106 search results - page 179 / 422 » Operational Semantics for MSC'96 |
156
click to vote
APGV
2005
ACM
15 years 11 months 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...
156
click to vote
APN
2005
Springer
15 years 11 months 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...
147
click to vote
ICS
2005
Tsinghua U.
15 years 11 months 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...
148
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
180
click to vote
SPIN
2004
Springer
15 years 11 months 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...