2106 search results - page 323 / 422 » Operational Semantics for DyLPs |
143
click to vote
ECOWS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The greater and greater quantity of services that are available over the web causes a growing attention to techniques that facilitate their reuse. A web service specific...
163
click to vote
TARK
2007
Springer
16 years 13 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...
163
click to vote
APGV
2005
ACM
15 years 12 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...
161
click to vote
APN
2005
Springer
15 years 12 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...
152
click to vote
ICS
2005
Tsinghua U.
15 years 12 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...