3742 search results - page 596 / 749 » On the Use of Formal Techniques for Validation |
137
click to vote
LREC
2010
15 years 7 months ago
2010
Current state-of-the-art systems for automatic phonetic transcription (APT) are mostly phone recognizers based on Hidden Markov models (HMMs). We present a different approach for ...
152
click to vote
LREC
2008
15 years 7 months ago
2008
We present the main findings and preliminary results of an ongoing project aimed at developing a system for collocation extraction based on contextual morpho-syntactic properties....
169
click to vote
MSA
2007
15 years 7 months ago
2007
- The requirement for a commonly accepted efficient mapping between multimedia metadata standards and semantic web-ontology standards is a major issue recognized by semantic multim...
146
click to vote
BIOCOMP
2006
15 years 7 months ago
2006
123 African American men in America are 65% more likely to develop prostate cancer and are two to three times more likely to die of the disease than Caucasian men [1]. While resear...
177
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. The talk focused on a grammar-based technique for identifying redundancy in program code and taking advantage of that redundancy to reduce the memory required to store an...