1489 search results - page 141 / 298 » The First Bug Report |
129
click to vote
SIAMNUM
2010
14 years 11 months ago
2010
Abstract. We study discontinuous Galerkin methods for solving elliptic variational inequalities, of both the first and second kinds. Analysis of numerous discontinuous Galerkin sch...
191
click to vote
SIGIR
2010
ACM
14 years 11 months ago
2010
ACM
This paper reports on the Large Scale Hierarchical Classification workshop (http:// kmi.open.ac.uk/events/ecir2010/workshops-tutorials), held in conjunction with the European Conf...
137
click to vote
STTT
2010
14 years 11 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
162
click to vote
TIP
2010
14 years 11 months ago
2010
- In this report, we investigate the application of Direction Adaptive-Partitioned Block Transform (DA-PBT) to color images and propose a basic framework for DA-PBT Color Image Cod...
114
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we present an audio segmentation system for broadcast news, and its results in the Albayzín-2010 evaluation. First of all, the Albayzín-2010 evaluation setup, dev...