Sciweavers

9455 search results - page 12 / 1891
» The Modelling Language Zinc
Sort
View
POPL
2012
ACM
13 years 5 months ago
A language for automatically enforcing privacy policies
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
Jean Yang, Kuat Yessenov, Armando Solar-Lezama
CVPR
2012
IEEE
13 years 1 days ago
Enhanced continuous sign language recognition using PCA and neural network features
In this work a Gaussian Hidden Markov Model (GHMM) based automatic sign language recognition system is built on the SIGNUM database. The system is trained on appearance-based feat...
Yannick L. Gweth, Christian Plahl, Hermann Ney
POPL
2002
ACM
15 years 10 months ago
Types as models: model checking message-passing programs
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
LREC
2008
145views Education» more  LREC 2008»
14 years 11 months ago
Borrowing Language Resources for Development of Automatic Speech Recognition for Low- and Middle-Density Languages
In this paper we describe an approach that both creates crosslingual acoustic monophone model sets for speech recognition tasks and objectively predicts their performance without ...
Lynette Melnar, Chen Liu
ACL
2012
13 years 18 hour ago
Character-Level Machine Translation Evaluation for Languages with Ambiguous Word Boundaries
In this work, we introduce the TESLACELAB metric (Translation Evaluation of Sentences with Linear-programming-based Analysis – Character-level Evaluation for Languages with Ambi...
Chang Liu, Hwee Tou Ng