1187 search results - page 81 / 238 » Graph-Based Procedural Abstraction |
155
click to vote
ICA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Denoising source separation is a recently introduced framework for building source separation algorithms around denoising procedures. Two developments are reported here. ...
179
click to vote
ICIAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this article we present the results of an unsupervised segmentation algorithm based on a multiresolution method. The algorithm uses color and edge information in an it...
187
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
143
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract - A comprehensive study of ultra high-speed currentmode logic (CML) buffers and regenerative CML latches will be illustrated. A new design procedure to systematically desi...
152
click to vote
DAWAK
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Many SQL queries with aggregated subqueries exhibit redundancy (overlap in FROM and WHERE clauses). We propose a method, called the for-loop, to optimize such queries by ...