718 search results - page 82 / 144 » Extraction of Structured Programs from Specification Proofs |
ISMIR
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes a fast audio detection method for specific audio retrieval in the AV stream. The method is a histogram matching algorithm based on structural and perceptual f...
110
click to vote
ISW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
107
click to vote
MICCAI
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. Diffusion tensor imaging (DTI) can provide the fundamental information required for viewing structural connectivity. However, robust and accurate acquisition and processi...
148
click to vote
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
For a given query raised by a specific user, the Query Suggestion technique aims to recommend relevant queries which potentially suit the information needs of that user. Due to th...
115
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Type III secretion system (T3SS) is a specialized protein delivery system in gramnegative bacteria that injects proteins (called effectors) directly into the eukaryoti...