2621 search results - page 384 / 525 » Generalized Algorithms for Constructing Statistical Language... |
IUI
2010
ACM
14 years 3 months ago
2010
ACM
Soft keyboards offer touch-capable mobile and tabletop devices many advantages such as multiple language support and space for larger graphical displays. On the other hand, becaus...
ICPR
2000
IEEE
14 years 1 months ago
2000
IEEE
JKanji is an interactive character completion system that provides stroke-order-independent recognition of complex hand-written glyphs such as Japanese kanji or Chinese hanzi. As ...
LREC
2008
13 years 10 months ago
2008
Recently, there has been an emphasis on creating shared resources for natural language processing applications. This has resulted in the development of high-quality tools and data...
FORTE
2004
13 years 10 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...