8917 search results - page 375 / 1784 » Abstraction in Algorithm Animation |
156
click to vote
JANCL
2008
15 years 6 months ago
2008
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
207
Voted
JSAC
2006
15 years 6 months ago
2006
Abstract-- Topology discovery systems are starting to be introduced in the form of easily and widely deployed software. Unfortunately, the research community has not examined the p...
156
click to vote
TASLP
2008
15 years 6 months ago
2008
Abstract--The problem of noise reduction using multiple microphones has long been an active area of research. Over the past few decades, most efforts have been devoted to beamformi...
212
click to vote
TIP
2008
15 years 6 months ago
2008
Abstract--This paper presents the development of an unsupervised image segmentation framework (referred to as CTex) that is based on the adaptive inclusion of color and texture in ...
283
click to vote
TIT
2008
15 years 6 months ago
2008
Abstract--In linear programming (LP) decoding of a low-density parity-check (LDPC) code one minimizes a linear functional, with coefficients related to log-likelihood ratios, over ...