2957 search results - page 155 / 592 » Code analysis and CS-XML |
134
click to vote
MLMI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper proposes an analysis technique for wide-band audio applications based on the predictability of the temporal evolution of Quadrature Mirror Filter (QMF) sub-ban...
122
click to vote
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
125
Voted
3DIM
2005
IEEE
15 years 9 months ago
2005
IEEE
Multimedia projectors and cameras make possible the use of structured light to solve problems such as 3D reconstruction, disparity map computation and camera or projector calibrat...
IWPC
2003
IEEE
15 years 8 months ago
2003
IEEE
Increasingly focus in the software comprehension community is shifting from representing the results of analysis in the graph and database domain to reflecting insights directly i...
133
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...