Sciweavers

3818 search results - page 78 / 764
» Word Problems on Compressed Words
Sort
View
RTA
1998
Springer
15 years 8 months ago
Decidable and Undecidable Second-Order Unification Problems
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...
Jordi Levy
FSTTCS
2004
Springer
15 years 10 months ago
Real-Counter Automata and Their Decision Problems
d Abstract) Zhe Dang ¡£¢¤¢ , Oscar H. Ibarra ¥ , Pierluigi San Pietro ¦ , and Gaoyan Xie ¡ § School of Electrical Engineering and Computer Science Washington State Univers...
Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, G...
ICALT
2008
IEEE
15 years 11 months ago
Encouraging Persons with Hearing Problem to Learn Sign Language by Internet Websites
Nowadays the Internet users are from different ages and groups. Disabled people are a group of the Internet users. Some websites are especially created for these people. One group...
Mohammad Shirali-Shahreza, Sajad Shirali-Shahreza
128
Voted
CHI
2006
ACM
16 years 4 months ago
Time is of the essence: an evaluation of temporal compression algorithms
Although speech is a potentially rich information source, a major barrier to exploiting speech archives is the lack of useful tools for efficiently accessing lengthy speech record...
Simon Tucker, Steve Whittaker
IUI
2009
ACM
16 years 1 months ago
Have a say over what you see: evaluating interactive compression techniques
We all encounter many documents on a daily basis that we do not have time to process in their entirety. Nevertheless, we lack good tools to rapidly skim and identify key informati...
Simon Tucker, Steve Whittaker