1671 search results - page 187 / 335 » Semantics Through Pictures |
ACIIDS
2009
IEEE
14 years 1 months ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
CADE
1992
Springer
14 years 4 hour ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
VL
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...
IADIS
2004
13 years 9 months ago
2004
This paper presents an architecture for Enterprise Application Integration with Web Services through the creation of meta-models in MDA(MODEL DRIVEN ARCHITECTURE). The proposed ar...
APAL
2008
13 years 8 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....