3742 search results - page 263 / 749 » On the Use of Formal Techniques for Validation |
169
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a video summarization technique based on supervised learning. Within a class of videos of similar nature, user provides the desired summaries for a subset of videos. Ba...
159
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— The inter-modulation and cross-modulation products of interferences introduced by nonlinearities of the receiver could significantly degrade system performance, and sh...
169
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper proposes two compiler-assisted techniques to improve thread level control speculation in speculative multithreading executions. The first technique is to incr...
207
click to vote
MLDM
2007
Springer
16 years 22 days ago
2007
Springer
Recursive Feature Elimination (RFE) combined with feature ranking is an effective technique for eliminating irrelevant features when the feature dimension is large, but it is diffi...
158
click to vote
ISCAS
2006
IEEE
16 years 19 days ago
2006
IEEE
—This paper presents an analog neuromimetic integrated circuit and an associated system dedicated for experiments of parameters extraction in biological neuron models. The IC bas...