5105 search results - page 252 / 1021 » Approximate Structural Consistency |
153
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
106
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand....
143
click to vote
SOFSEM
2004
Springer
15 years 10 months ago
2004
Springer
We propose an efficient approach for finding relevant XML data twigs defined by unordered query tree specifications. We use the tree signatures as the index structure and find...
117
click to vote
ISCI
2002
15 years 4 months ago
2002
The paper proposes a diphone/sub-syllable method for Arabic Text-to-speech systems. The proposed approach exploits the particular syllabic structure of the Arabic words. For good ...
141
click to vote
MOBIHOC
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we study the problem of scheduling wireless links in the geometric SINR model, which explicitly uses the fact that nodes are distributed in the Euclidean plane. We p...