1162 search results - page 92 / 233 » Monotonic Semantic Interpretation |
ICDAR
2003
IEEE
15 years 4 months ago
2003
IEEE
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
SYNTHESE
2008
14 years 11 months ago
2008
In this paper I discuss some of the criteria that are widely used in the linguistic and philosophical literature to classify an aspect of meaning as either semantic or pragmatic. W...
ML
2007
ACM
14 years 10 months ago
2007
ACM
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
118
click to vote
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
76
Voted
TGC
2005
Springer
15 years 4 months ago
2005
Springer
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message ex...