Sciweavers

3809 search results - page 86 / 762
» Associative language descriptions
Sort
View
DAC
1997
ACM
15 years 8 months ago
Generation of Software Tools from Processor Descriptions for Hardware/Software Codesign
An experimental set of tools that generate instruction set simulators, assemblers, and disassemblers from a single description was developed to test if retargetable development to...
Mark R. Hartoog, James A. Rowson, Prakash D. Reddy...
AAAI
2008
15 years 7 months ago
Efficient Learning of Action Schemas and Web-Service Descriptions
This work addresses the problem of efficiently learning action schemas using a bounded number of samples (interactions with the environment). We consider schemas in two languages-...
Thomas J. Walsh, Michael L. Littman
DLOG
1996
15 years 6 months ago
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
Thorsten Liebig, Dietmar Rösner
DEBU
2002
120views more  DEBU 2002»
15 years 4 months ago
DAML+OIL: a Description Logic for the Semantic Web
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
Ian Horrocks
POPL
1989
ACM
15 years 8 months ago
The Modula-3 Type System
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
Luca Cardelli, James E. Donahue, Mick J. Jordan, B...