Sciweavers

7661 search results - page 268 / 1533
» Languages and the Computing Profession
Sort
View
IJCAI
1993
15 years 8 months ago
A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition
Polynomial time complexity is the usual ‘threshold’ for distinguishing the tractable from the intractable and it may seem reasonable to adopt this notion of tractability in th...
Lokendra Shastri
ENTCS
2008
99views more  ENTCS 2008»
15 years 6 months ago
Specifying Properties of Concurrent Computations in CLF
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
Kevin Watkins, Iliano Cervesato, Frank Pfenning, D...
ICASSP
2008
IEEE
16 years 1 months ago
Sentence segmentation and punctuation recovery for spoken language translation
Sentence segmentation and punctuation recovery are critical components for effective spoken language translation (SLT). In this paper we describe our recent work on sentence segme...
Matthias Paulik, Sharath Rao, Ian R. Lane, Stephan...
ICALT
2005
IEEE
16 years 7 days ago
English Class on the Air: Mobile Language Learning with Cell Phones
Busy, active adults often do not have the time or ability to study in traditional, face-to-face classroom settings. In addition, adult learners may need access to content or exper...
Timothy G. Collins
PCM
2004
Springer
131views Multimedia» more  PCM 2004»
15 years 12 months ago
Vision-Based Sign Language Recognition Using Sign-Wise Tied Mixture HMM
Abstract. In this paper, a new sign-wise tied mixture HMM (SWTMHMM) is proposed and applied in vision-based sign language recognition (SLR). In the SWTMHMM, the mixture densities o...
Liangguo Zhang, Gaolin Fang, Wen Gao, Xilin Chen, ...