2702 search results - page 132 / 541 » Practically Applicable Formal Methods |
TSP
2010
14 years 4 months ago
2010
We study the distributed sampling and centralized reconstruction of two correlated signals, modeled as the input and output of an unknown sparse filtering operation. This is akin ...
CAISE
2010
Springer
14 years 11 months ago
2010
Springer
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
The conventional octree construction method is implemented iteratively at consecutive subdivision levels. The resultant octree models at different subdivision levels contain quite...
JMLR
2006
14 years 10 months ago
2006
We propose an active set algorithm to solve the convex quadratic programming (QP) problem which is the core of the support vector machine (SVM) training. The underlying method is ...
ICASSP
2008
IEEE
15 years 4 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 ...