Sciweavers

630 search results - page 4 / 126
» Symbolic Domain Decomposition
Sort
View
AAAI
2004
13 years 6 months ago
Automatically Transforming Symbolic Shape Descriptions for Use in Sketch Recognition
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...
Tracy Hammond, Randall Davis
ICASSP
2011
IEEE
12 years 9 months ago
Time domain synchronization and decoding of P1 symbol in DVB-T2
In this paper we propose a novel timing and frequency synchronization and decoding method for the P1 symbol in DVB-T2 based on the correlation between the received signal and the ...
Mingchao Yu, Parastoo Sadeghi
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
13 years 3 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki
ICIP
2004
IEEE
14 years 6 months ago
A 2-level domain decomposition algorithm for inverse diffuse optical tomography
Il-Young Son, Murat Guven, Xavier Intes, Birsen Ya...
MMAS
2010
Springer
13 years 2 days ago
Domain Decomposition Preconditioners for Multiscale Flows in High-Contrast Media
In this paper, we study domain decomposition preconditioners for multiscale flows in high contrast media. Our problems are motivated by porous media applications where low conduct...
Juan Galvis, Yalchin Efendiev