Sciweavers

700 search results - page 16 / 140
» words 2005
Sort
View
PREMI
2005
Springer
15 years 3 months ago
Biological Text Mining for Extraction of Proteins and Their Interactions
Text mining techniques have been proposed for extracting protein names and their interactions. First, we have made improvements on existing methods for handling single word protein...
Kiho Hong, Junhyung Park, Jihoon Yang, Sungyong Pa...
IJCNLP
2005
Springer
15 years 3 months ago
A Rule Based Syllabification Algorithm for Sinhala
This paper presents a study of Sinhala syllable structure and an algorithm for identifying syllables in Sinhala words. After a thorough study of the Syllable structure and linguis...
Ruvan Weerasinghe, Asanka Wasala, Kumudu Gamage
LICS
2005
IEEE
15 years 3 months ago
On the Decidability of Metric Temporal Logic
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
Joël Ouaknine, James Worrell
MFCS
2005
Springer
15 years 3 months ago
Inverse Monoids: Decidability and Complexity of Algebraic Questions
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...
Markus Lohrey, Nicole Ondrusch
TSD
2005
Springer
15 years 3 months ago
Detection and Correction of Malapropisms in Spanish by Means of Internet Search
Malapropisms are real-word errors that lead to syntactically correct but semantically implausible text. We report an experiment on detection and correction of Spanish malapropisms....
Igor A. Bolshakov, Sofía N. Galicia-Haro, A...