Sciweavers

3166 search results - page 288 / 634
» Translation By Structural Correspondences
Sort
View
CSL
1995
Springer
15 years 10 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle
ECCV
2010
Springer
15 years 10 months ago
Discovering Multipart Appearance Models from Captioned Images
Abstract. Even a relatively unstructured captioned image set depicting a variety of objects in cluttered scenes contains strong correlations between caption words and repeated visu...
FLAIRS
2007
15 years 9 months ago
Teaching NL to FOL and FOL to CF Conversions
In this paper, we present ways of teaching the NL to FOL and the FOL to CF conversions. NL to FOL conversion teaching is based on the use of a structured and interactive process o...
Ioannis Hatzilygeroudis
COLING
2008
15 years 8 months ago
Contents Modelling of Neo-Sumerian Ur III Economic Text Corpus
This paper describes a system for processing economic documents written in the ancient Sumerian language. The system is application-oriented and takes advantage of the simplicity ...
Wojciech Jaworski
LREC
2010
150views Education» more  LREC 2010»
15 years 8 months ago
Spanish FreeLing Dependency Grammar
This paper presents the development of an open-source Spanish Dependency Grammar implemented in FreeLing environment. This grammar was designed as a resource for NLP applications ...
Marina Lloberes, Irene Castellón, Llu&iacut...