6016 search results - page 293 / 1204 » The semantics of graphical languages |
168
click to vote
MSCS
2006
15 years 6 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
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...
196
click to vote
SIGADA
2007
Springer
16 years 25 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 25 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...