Sciweavers

4502 search results - page 383 / 901
» Regular Model Checking
Sort
View
ICML
2005
IEEE
16 years 7 months ago
Hierarchical Dirichlet model for document classification
The proliferation of text documents on the web as well as within institutions necessitates their convenient organization to enable efficient retrieval of information. Although tex...
Sriharsha Veeramachaneni, Diego Sona, Paolo Avesan...
CHI
2008
ACM
16 years 7 months ago
There's always one!: modelling outlying user performance
Informal analysis of many usability tests suggests that there is regularly one participant that is substantially slower than all the others. Moreover, such outliers are more extre...
Julie Schiller, Paul A. Cairns
ICASSP
2009
IEEE
15 years 10 months ago
Neural network based language models for highly inflective languages
Speech recognition of inflectional and morphologically rich languages like Czech is currently quite a challenging task, because simple n-gram techniques are unable to capture impo...
Tomas Mikolov, Jirí Kopecký, Lukas B...
WSC
2007
15 years 9 months ago
A discrete event model of clinical trial enrollment at Eli Lilly and company
Clinical trials constitute large, complex, and resource intensive activities for pharmaceutical companies. Accurate prediction of patient enrollment would represent a major step f...
Bernard M. McGarvey, Nancy J. Dynes, Burch C. Lin,...
AAAI
1997
15 years 8 months ago
Projective Relations for 3D Space: Computational Model, Application, and Psychological Evaluation
We propose a 3D computational model for projective relations which is used in an integrated image and speech understanding system. The image and speech understanding system is bei...
Constanze Vorwerg, Gudrun Socher, Thomas Fuhr, Ger...