Sciweavers

3646 search results - page 62 / 730
» Voice search for development
Sort
View
CSUR
1999
137views more  CSUR 1999»
15 years 5 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
ICASSP
2011
IEEE
14 years 9 months ago
Recent development of discriminative training using non-uniform criteria for cross-level acoustic modeling
In this paper, we extend our previous study on discriminative training using non-uniform criteria for speech recognition. The work will put emphasis on how the acoustic modeling i...
Chao Weng, Biing-Hwang Juang
CG
2006
Springer
15 years 9 months ago
A Skat Player Based on Monte-Carlo Simulation
We apply Monte Carlo simulation and alpha-beta search to the card game of Skat, which is similar to Bridge, but different enough to require some new algorithmic ideas besides the t...
Sebastian Kupferschmid, Malte Helmert
NAR
2007
96views more  NAR 2007»
15 years 5 months ago
New developments in the InterPro database
InterPro is an integrated resource for protein families, domains and functional sites, which integrates the following protein signature databases: PROSITE, PRINTS, ProDom, Pfam, S...
Nicola J. Mulder, Rolf Apweiler, Teresa K. Attwood...
AICCSA
2006
IEEE
130views Hardware» more  AICCSA 2006»
15 years 8 months ago
A Categorization Scheme for Semantic Web Search Engines
Semantic web search engines are evolving and many prototype systems and some implementation have been developed. However, there are some different views on what a semantic search e...
Kyumars Sheykh Esmaili, Hassan Abolhassani