6794 search results - page 358 / 1359 » Semantics of Visual Languages |
173
click to vote
ACL
2009
15 years 4 months ago
2009
This paper proposes a novel framework called bilingual co-training for a largescale, accurate acquisition method for monolingual semantic knowledge. In this framework, we combine ...
223
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Concept Search extends syntactic search, i.e., search based on the computation of string similarity between words, with semantic search, i.e., search based on the computation of s...
195
click to vote
SIGADA
2007
Springer
16 years 24 days ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
196
click to vote
SPIN
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
173
click to vote
TYPES
2004
Springer
16 years 1 days ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...