1403 search results - page 88 / 281 » Quantitative Interprocedural Analysis |
MICCAI
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. In this paper, we explore the use of over-complete spherical wavelets in shape analysis of closed 2D surfaces. Previous work has demonstrated, theoretically and practical...
IPMI
1999
Springer
14 years 11 months ago
1999
Springer
In nuclear medicine, simultaneous dual-isotope imaging is used to determine the distribution of two radiotracers from a single acquisition and for emission/transmission (E/T) imagi...
CVPR
2010
IEEE
14 years 7 months ago
2010
IEEE
We present a novel approach to the causal temporal analysis of event data from video content. Our key observation is that the sequence of visual words produced by a space-time dic...
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
—Location-based Social Networks (LSNs) allow users to see where their friends are, to search location-tagged content within their social graph, and to meet others nearby. The rec...
QEST
2007
IEEE
14 years 5 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...