Sciweavers

6016 search results - page 169 / 1204
» The semantics of graphical languages
Sort
View
CC
2008
Springer
111views System Software» more  CC 2008»
15 years 8 months ago
A System for Generating Static Analyzers for Machine Instructions
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 ...
Junghee Lim, Thomas W. Reps
NAACL
2007
15 years 8 months ago
Creating a Knowledge Base from a Collaboratively Generated Encyclopedia
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...
Simone Paolo Ponzetto
EJC
2008
15 years 8 months ago
Center Fragments for Upscaling and Verification in Database Semantics
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...
Roland Hausser
ISORC
2009
IEEE
16 years 1 months ago
On the Semantics of UML/MARTE Clock Constraints
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
Frédéric Mallet, Charles André...
ECAI
1990
Springer
15 years 10 months ago
The Semantics of MOLUSC
Much recent work in computational morphology has presupposed that morphological operations are de nable on strings of phonological or graphemic objects. By contrast, theoretical l...
Lynne J. Cahill, Gerald Gazdar