416 search results - page 18 / 84 » The ruby intermediate language |
EON
2003
13 years 8 months ago
2003
This paper presents the results of the interoperability experiment proposed in EON2003, using the following ontology tools: Protégé-2000 and WebODE. We will show which knowledge ...
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
JFLP
2002
13 years 7 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
ELPUB
2000
ACM
13 years 12 months ago
2000
ACM
XML is an SGML-based language designed for the interchange of documents with more flexible and powerful features than those provided by HTML. It can be considered as an intermedia...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
We build word models for American Sign Language (ASL) that transfer between different signers and different aspects. This is advantageous because one could use large amounts of la...