2488 search results - page 191 / 498 » An improvement in formal verification |
113
click to vote
PVLDB
2008
15 years 23 days ago
2008
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
140
click to vote
ICDAR
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper, an approach based on the combination of discrete Hidden Markov Models (HMMs) in the ROC space is proposed to improve the performance of off-line signature verificat...
111
click to vote
ICASSP
2010
IEEE
14 years 8 months ago
2010
IEEE
Cooperative communication with multi-antenna relays can significantly increase the reliability and speed. However, cooperative MIMO detection would impose considerable complexity o...
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
Sparse representations of signals have received a great deal of attention in recent years, and the sparse representation classifier has very lately appeared in a speaker recogniti...
HPCS
2007
IEEE
15 years 7 months ago
2007
IEEE
In the context of computational grids, a metascheduler is the service responsible for scheduling jobs across many geographically distributed processor clusters. Typically, these s...