2774 search results - page 222 / 555 » Exploiting Deep Structure |
163
click to vote
MSR
2006
ACM
16 years 16 days ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
155
click to vote
SIBGRAPI
2005
IEEE
16 years 5 days ago
2005
IEEE
We present tensor scale descriptor (TSD)— a shape descriptor for content-based image retrieval, registration, and analysis. TSD exploits the notion of local structure thickness,...
178
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
236
click to vote
VOSS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...
182
click to vote
CSB
2002
IEEE
15 years 11 months ago
2002
IEEE
-- We investigate off-line dictionary oriented approaches to DNA sequence compression, based on the Burrows-Wheeler Transform (BWT). The preponderance of short repeating patterns i...