Sciweavers

6794 search results - page 194 / 1359
» Semantics of Visual Languages
Sort
View
CP
2009
Springer
13 years 7 months ago
The Proper Treatment of Undefinedness in Constraint Languages
Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This p...
Alan M. Frisch, Peter J. Stuckey
WWW
2008
ACM
14 years 10 months ago
The scale-free nature of semantic web ontology
Semantic web ontology languages, such as OWL, have been widely used for knowledge representation. Through empirical analysis of real-world ontologies we discover that, like many n...
Hongyu Zhang
SCAM
2003
IEEE
14 years 2 months ago
CPP Denotational Semantics
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
Jean-Marie Favre
ASM
2003
ASM
14 years 2 months ago
ASMs versus Natural Semantics: A Comparison with New Insights
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
Sabine Glesner
EACL
2006
ACL Anthology
13 years 10 months ago
Computing Term Translation Probabilities with Generalized Latent Semantic Analysis
Term translation probabilities proved an effective method of semantic smoothing in the language modelling approach to information retrieval. We use Generalized Latent Semantic Ana...
Irina Matveeva, Gina-Anne Levow