2599 search results - page 381 / 520 » An Operational Semantics for Knowledge Bases |
165
click to vote
APGV
2005
ACM
16 years 1 hour 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...
190
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...
177
click to vote
WOWMOM
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents a framework for provisioning application and channel dependent quality of service in wireless networks. The framework is based on three di erent adaptation mec...
185
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
178
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...