13099 search results - page 382 / 2620 » Cooperative method development |
170
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We recently reported a criterion for blind separation of non-negative sources, using a new concept called convex analysis for mixtures of non-negative sources (CAMNS). Under some ...
178
Voted
CVPR
2010
IEEE
16 years 13 days ago
2010
IEEE
Feature-based methods have found increasing use in many applications such as object recognition, 3D reconstruction and mosaicing. In this paper, we focus on the problem of matchin...
172
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents a new method — the Time-delay Added Evolutionary Forecasting (TAEF) method — for time series prediction which performs an evolutionary search of the minimu...
206
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
179
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Instruction scheduling methods based on the construction of state diagrams (or automata) have been used for architectures involving deeply pipelined function units. However, the s...