Searching for "On the Semantics of the Frame Rule." – sorted by Relevance.
-
A Logic for Information Flow Analysis with an Application to Forward Slicing of Simple Imperative Programs
- : Abstract interpretation, denotational semantics, frame rule, Hoare logic, information flow analysis
- Cited by 8 (3 self) – Add To MetaCart
-
A Multi Modal Pool Trainer
- syntactic constituent analysis of input and subsequently maps values into semantic frames. The rules used
- Cited by 2 (1 self) – Add To MetaCart
-
A Spoken Language System For Information Retrieval
- the result to the user. An SQL request is built from the semantic frame using specific rules, where each rule
- Cited by 25 (11 self) – Add To MetaCart
-
A platform for developing Intelligent MultiMedia Applications
- maps values into semantic frames. The rules used for syntactic parsing are based on a subset
- Cited by 12 (10 self) – Add To MetaCart
-
CHAMELEON: a general platform for performing intellimedia
- values into semantic frames. The rules used for syntactic parsing are based on a subset of the EUROTRA
- Cited by 1 (1 self) – Add To MetaCart
-
Chameleon:
- values into semantic frames. The rules used for syntactic parsing are based on a subset of the EUROTRA
- Add To MetaCart
-
The IntelliMedia WorkBench - An Environment for Building Multimodal Systems
- into semantic frames. The rules used for syntactic parsing are based on a subset of the EUROTRA formalism, i
- Add To MetaCart

