6016 search results - page 157 / 1204 » The semantics of graphical languages |
181
click to vote
CLEIEJ
2007
15 years 6 months ago
2007
This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation, composition, if, skip and while...
169
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract The paper introduces mixed networks, a new graphical model framework for expressing and reasoning with probabilistic and deterministic information. The motivation to devel...
161
click to vote
ASSETS
2005
ACM
15 years 8 months ago
2005
ACM
We propose an integrated approach to interactive word-completion for users with linguistic disabilities in which semantic knowledge combines with n-gram probabilities to predict s...
190
click to vote
SEMWIKI
2008
15 years 8 months ago
2008
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...