780 search results - page 83 / 156 » software 2011 |
TASLP
2011
14 years 6 months ago
2011
—We present a new technique for joint estimation of the chord progression and the downbeats from an audio file. Musical signals are highly structured in terms of harmony and rhy...
122
click to vote
FASE
2011
Springer
14 years 3 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
168
click to vote
SIAMIS
2011
14 years 6 months ago
2011
The convergence rate is analyzed for the sparse reconstruction by separable approximation (SpaRSA) algorithm for minimizing a sum f(x) + ψ(x), where f is smooth and ψ is convex, ...
138
click to vote
SIAMIS
2011
2011
Local Image Features Resulting from 3-Dimensional Geometric Features, Illumination, and Movement: II
14 years 6 months ago
This is the second part of an investigation into the visual clues in illuminated scenes, in terms of the interactions between apparent contours, shade and cast shadow curves, bound...
126
click to vote
SOCO
2011
Springer
2011
Springer
A novel approach to annotating web service based on interface concept mapping and semantic expansion
14 years 6 months ago
With the rapid development of web service technology in these years, traditional standards have been matured during the process of service registry and discovery. However, it is di...