290 search results - page 25 / 58 » A Denotational Semantics for Handel-C |
187
click to vote
POPL
2002
ACM
16 years 3 days ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
ENTCS
2007
14 years 11 months ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
IFL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
LICS
2000
IEEE
15 years 4 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
117
click to vote
CVPR
2005
IEEE
15 years 5 months ago
2005
IEEE
In this a novel supervised learning method is proposed to map low-level visualfeatures to high-level semantic conceptsfor region-based image retrieval. The contributions of thispa...