Sciweavers

360 search results - page 38 / 72
» The Origins of the Translator's Workstation
Sort
View
IPPS
1998
IEEE
14 years 1 months ago
A Molecular Quasi-Random Model of Computations Applied to Evaluate Collective Intelligence
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...
Tadeusz Szuba
CLEF
2006
Springer
14 years 22 days ago
Dublin City University at CLEF 2006: Cross-Language Speech Retrieval (CL-SR) Experiments
The Dublin City University participation in the CLEF 2006 CL-SR task concentrated on exploring the combination of the multiple fields associated with the documents. This was based...
Gareth J. F. Jones, Ke Zhang, Adenike M. Lam-Adesi...
EKAW
2006
Springer
14 years 20 days ago
From Natural Language to Formal Proof Goal
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
Ruud Stegers, Annette ten Teije, Frank van Harmele...
AI
2001
Springer
14 years 20 days ago
Stratified Partial-Order Logic Programming
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
Mauricio Osorio, Juan Carlos Nieves
LREC
2010
146views Education» more  LREC 2010»
13 years 10 months ago
The Semantic Atlas: an Interactive Model of Lexical Representation
In this paper we describe two geometrical models of meaning representation, the Semantic Atlas (SA) and the Automatic Contexonym Organizing Model (ACOM). The SA provides maps of m...
Sabine Ploux, Armelle Boussidan, Hyungsuk Ji