991 search results - page 132 / 199 » The query-flow graph: model and applications |
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper presents an advanced animation framework for virtual character within the MPEG-4 standard. The Bonebased Animation (BBA) specifications are described and it is shown ho...
CHARME
2001
Springer
13 years 11 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
CONEXT
2009
ACM
13 years 8 months ago
2009
ACM
Building on the popularity of online social networks (OSNs) such as Facebook, social content-sharing applications allow users to form communities around shared interests. Millions...
RECOMB
2006
Springer
14 years 8 months ago
2006
Springer
Computational and comparative analysis of protein-protein interaction (PPI) networks enable understanding of the modular organization of the cell through identification of functio...