1059 search results - page 87 / 212 » Unification-Based Semantic Interpretation |
111
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
101
click to vote
JSYML
2006
14 years 12 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
CSL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
125
click to vote
VISUAL
1999
Springer
15 years 4 months ago
1999
Springer
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...