2599 search results - page 344 / 520 » An Operational Semantics for Knowledge Bases |
136
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
163
click to vote
IADIS
2004
15 years 8 months ago
2004
The first image retrieval systems hold the advantage of being fully automatic, and thus scalable to large collections of images but are restricted to the representation of low-lev...
178
click to vote
ICLP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
163
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
214
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...