Search Sciweavers | Sciweavers

1264 search results - page 9 / 253

» Towards Theory Translation

click to vote

MT
2000

85views more MT 2000»

Towards a Dynamic Linkage of Example-based and Rule-based Machine Translation

13 years 7 months ago

Download www.mt-archive.info

Michael Carl, Cathrine Pease, Leonid L. Iomdin, Ol...

claim paper

Read More »

click to vote

DASFAA
2005
IEEE

150views Database» more DASFAA 2005»

From XML to Semantic Web

14 years 1 months ago

Download www.comp.nus.edu.sg

Abstract. The present web is existing in the HTML and XML formats for persons to browse. Recently there is a trend towards the semantic web where the information can be can be proc...

Changqing Li, Tok Wang Ling

claim paper

Read More »

click to vote

ATAL
2005
Springer

132views Intelligent Agents» more ATAL 2005»

OWL ontology translation based on the O3F framework

14 years 1 months ago

Download www.cs.huji.ac.il

This paper presents an approach for ontology translation in the O3F ontology framework and a concrete implemented agent that translates between ontologies expressed in OWL. In the...

Luís Mota, Luís Miguel Botelho

claim paper

Read More »

click to vote

HASKELL
2005
ACM

173views Programming Languages» more HASKELL 2005»

Verifying haskell programs using constructive type theory

14 years 1 months ago

Download www2.tcs.ifi.lmu.de

Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...

Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...

claim paper

Read More »

click to vote

CSCW
2012
ACM

221views Social Sciences» more CSCW 2012»

Doing Business with Theory: Communities of Practice in Knowledge Management

12 years 3 months ago