990 search results - page 105 / 198 » A Static Analysis Technique for Graph Transformation Systems |
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
Query-by-tapping systems are content-based music retrieval systems that allow users to tap or clap in a microphone the rhythmic pattern of the melody requested. In this paper, a n...
EVOW
2008
Springer
13 years 9 months ago
2008
Springer
Advances in modern technologies for measuring protein-protein interaction (PPI) has boosted research in PPI networks analysis and comparison. One of the challenging problems in com...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
The application of social network analysis techniques, along with graph visualization and interaction, for navigating syndicated web content, a.k.a webfeeds, is presented. Within ...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...