288 search results - page 37 / 58 » The Denotational Semantics of slotted-Circus |
CSJM
2007
13 years 8 months ago
2007
For modeling the interpretation process of NL sentences we use the mechanisms implying semantic networks that assure syntactic – semantic text interpretation (SSI), including an...
CVPR
2005
IEEE
14 years 2 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...
DIAGRAMS
2004
Springer
14 years 2 months ago
2004
Springer
Projected contours enable Euler diagrams to scale better. They enable the representation of information using less syntax and can therefore increase visual clarity. Here informal r...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
AMAST
1998
Springer
14 years 28 days ago
1998
Springer
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...