Search Sciweavers | Sciweavers

5608 search results - page 13 / 1122

» Structure description tools

click to vote

LREC
2008

99views Education» more LREC 2008»

Annotation by Category: ELAN and ISO DCR

15 years 1 months ago

Download www.lrec-conf.org

The Data Category Registry is one of the ISO initiatives towards the establishment of standards for Language Resource management, creation and coding. Successful application of th...

Han Sloetjes, Peter Wittenburg

claim paper

Read More »

click to vote

DAC
1997
ACM

114views Computer Architecture» more DAC 1997»

Generation of Software Tools from Processor Descriptions for Hardware/Software Codesign

15 years 4 months ago

Download myslu.stlawu.edu

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...

claim paper

Read More »

100

click to vote

CADE
2008
Springer

93views Logical Reasoning» more CADE 2008»

Multi-completion with Termination Tools (System Description)

16 years 3 days ago

Download cl-informatik.uibk.ac.at

Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...

Haruhiko Sato, Sarah Winkler, Masahito Kurihara, A...

claim paper

Read More »

click to vote

CADE
2008
Springer

113views Logical Reasoning» more CADE 2008»

MTT: The Maude Termination Tool (System Description)

16 years 3 days ago