6794 search results - page 214 / 1359 » Semantics of Visual Languages |
117
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
130
click to vote
ICFP
2003
ACM
15 years 10 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
162
click to vote
CC
2008
Springer
15 years 7 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
180
Voted
NAACL
2007
15 years 6 months ago
2007
We present our work on using Wikipedia as a knowledge source for Natural Language Processing. We first describe our previous work on computing semantic relatedness from Wikipedia...
155
click to vote
EJC
2008
15 years 6 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...