Sciweavers

6794 search results - page 607 / 1359
» Semantics of Visual Languages
Sort
View
ESOP
2005
Springer
16 years 22 days ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
SIGIR
2004
ACM
16 years 18 days ago
The document as an ergodic markov chain
In recent years, statistical language models are being proposed as alternative to the vector space model. Viewing documents as language samples introduces the issue of defining a...
Eduard Hoenkamp, Dawei Song
ICCL
1992
IEEE
15 years 11 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg
ASWC
2006
Springer
15 years 11 months ago
Dental Decision Making on Missing Tooth Represented in an Ontology and Rules
The Web Ontology Language (OWL), which is a Description Logic based ontology language, is widely used to represent formal definitions of vocabularies for domain knowledge, especial...
Seon Gyu Park, Hong-Gee Kim
WLP
2000
Springer
15 years 10 months ago
Attempto Controlled English
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
Norbert E. Fuchs