8874 search results - page 1765 / 1775 » A New Implementation of Automath |
151
Voted
SADM
2008
15 years 3 months ago
2008
: Nonnegative matrix approximation (NNMA) is a popular matrix decomposition technique that has proven to be useful across a diverse variety of fields with applications ranging from...
172
Voted
SIGGRAPH
2010
ACM
15 years 2 months ago
2010
ACM
This paper addresses the problem of remapping the disparity range of stereoscopic images and video. Such operations are highly important for a variety of issues arising from the p...
133
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present two novel approaches to parsing context-free languages. The first approach is based on an extension of Brzozowski’s derivative from regular expressions to c...
135
Voted
CSL
2010
Springer
15 years 2 months ago
2010
Springer
The voice activity detectors (VADs) based on statistical models have shown impressive performances especially when fairly precise statistical models are employed. Moreover, the ac...
157
Voted
FGCS
2010
15 years 2 months ago
2010
Grid computing has been the subject of many large national and international IT projects in the past. However, it seems that the general expectations in Grids have not come true. ...