1059 search results - page 174 / 212 » Unification-Based Semantic Interpretation |
130
click to vote
SLP
1997
15 years 5 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
123
click to vote
GPCE
2008
Springer
15 years 5 months ago
2008
Springer
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a ...
143
click to vote
PRL
2008
15 years 4 months ago
2008
Structural analysis in handwritten mathematical expressions focuses on interpreting the recognized symbols using geometrical information such as relative sizes and positions of th...
107
click to vote
TASLP
2008
15 years 4 months ago
2008
Given a large audio database of music recordings, the goal of classical audio identification is to identify a particular audio recording by means of a short audio fragment. Even th...
161
click to vote
APAL
2005
15 years 4 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...