Sciweavers

1287 search results - page 124 / 258
» Unnatural language detection
Sort
View
ICDAR
2003
IEEE
15 years 11 months ago
Mathematical Formulas Extraction
As a universal technical language, mathematics has been widely applied in many fields, and it is more accurate than any other languages in describing information. Therefore, numer...
Jianming Jin, Xionghu Han, Qingren Wang
NLPRS
2001
Springer
15 years 10 months ago
The Grammatical Function Analysis between Adnoun Clause and Noun Phrase in Korean
This research focuses on analysis of the grammatical functions between an adnoun clause and a noun phrase in Korean. The key task is to determine the relation between two constitu...
Songwook Lee, Tae-Yeoub Jang, Jungyun Seo
SEKE
2001
Springer
15 years 10 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto
APLAS
2000
ACM
15 years 10 months ago
A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...
Oukseh Lee, Kwangkeun Yi
PLDI
1998
ACM
15 years 10 months ago
A Study of Dead Data Members in C++ Applications
Object-oriented applications may contain data members that can be removed from the application without a ecting program behavior. Such \dead" data members may occur due to un...
Peter F. Sweeney, Frank Tip