Sciweavers

3679 search results - page 134 / 736
» Hybrid Semantic Analysis
Sort
View
87
Voted
PEPM
1995
ACM
15 years 4 months ago
Semantic Foundations of Binding Time Analysis for Imperative Programs
Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck
63
Voted
ER
2008
Springer
108views Database» more  ER 2008»
15 years 2 months ago
Reflective Analysis of the Syntax and Semantics of the i* Framework
Jennifer Horkoff, Golnaz Elahi, Samer Abdulhadi, E...
85
Voted
ACL
2004
15 years 2 months ago
Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis
We show that a practical translation of MRS descriptions into normal dominance constraints is feasible. We start from a recent theoretical translation and verify its assumptions o...
Ruth Fuchss, Alexander Koller, Joachim Niehren, St...
EWIMT
2004
15 years 2 months ago
Knowledge Representation for Semantic Multimedia Content Analysis and Reasoning
Kosmas Petridis, Ioannis Kompatsiaris, Michael G. ...
FLAIRS
2006
15 years 2 months ago
Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
Neli Zlatareva