Sciweavers

4743 search results - page 82 / 949
» The PlusCal Algorithm Language
Sort
View
MLQ
1998
61views more  MLQ 1998»
15 years 1 months ago
Extracting Algorithms from Intuitionistic Proofs
This paper presents a new method – which does not rely on the cut-elimination theorem – for characterizing the provably total functions of certain intuitionistic subsystems of ...
Fernando Ferreira, António Marques
WFLP
2009
Springer
255views Algorithms» more  WFLP 2009»
15 years 8 months ago
A Simple Region Inference Algorithm for a First-Order Functional Language
Manuel Montenegro, Ricardo Peña-Marí...
ITCC
2005
IEEE
15 years 7 months ago
A Stemming Algorithm for the Farsi Language
In this paper, we report on the design and implementation of a stemmer for the Farsi language. The results of our evaluation on a small Farsi document collection shows a signific...
Kazem Taghva, Russell Beckley, Mohammad Sadeh
CVPR
2007
IEEE
16 years 4 months ago
Enhanced Level Building Algorithm for the Movement Epenthesis Problem in Sign Language Recognition
One of the hard problems in automated sign language recognition is the movement epenthesis (me) problem. Movement epenthesis is the gesture movement that bridges two consecutive s...
Ruiduo Yang, Sudeep Sarkar, Barbara L. Loeding
CEC
2005
IEEE
15 years 7 months ago
Evolutionary algorithm for noun phrase detection in natural language processing
Noun phrases of a document usually are the main information bearers. Thus, the detection of these units is crucial in many applications related to information retrieval, such as co...
Jose Ignacio Serrano, Lourdes Araujo