6016 search results - page 156 / 1204 » The semantics of graphical languages |
171
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
154
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
We introduce semantic pointing, a novel interaction technique that improves target acquisition in graphical user interfaces (GUIs). Semantic pointing uses two independent sizes fo...
176
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
162
click to vote
DEXAW
2007
IEEE
16 years 25 days ago
2007
IEEE
We present an automatic semantic annotation system for Korean based on the Contextual Exploration Method. Creating a morphological analyzer and part-of-speech tagger for the Korea...