1162 search results - page 190 / 233 » Monotonic Semantic Interpretation |
89
Voted
GPCE
2008
Springer
15 years 1 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 ...
111
click to vote
PRL
2008
15 years 13 days 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...
78
Voted
TASLP
2008
15 years 12 days 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...
135
Voted
APAL
2005
15 years 12 days 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...
100
Voted
JAPLL
2007
15 years 11 days ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...