4352 search results - page 263 / 871 » A Representation Theorem and Applications |
183
click to vote
IGARSS
2010
15 years 5 months ago
2010
Korea Institute of Geoscience and Mineral Resources (KIGAM) and Kangwon National University (KNU) ground-based synthetic aperture radar (GB-SAR) team has been developed a fully po...
183
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The present lack of a stable method to compare persistent homology groups with torsion is a relevant problem in current research about Persistent Homology and its applications in P...
208
click to vote
VLSISP
2011
15 years 2 months ago
2011
Loop distribution and loop fusion are two effective loop transformation techniques to optimize the execution of the programs in DSP applications. In this paper, we propose a new t...
185
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
189
click to vote
LATA
2012
Springer
14 years 2 months ago
2012
Springer
We investigate the application of Courcelle’s Theorem and the logspace version of Elberfeld et al. in the context of the implication problem for propositional sets of formulae, t...