1403 search results - page 137 / 281 » Quantitative Interprocedural Analysis |
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
Normalizing constant recurrence equations play an important role in the exact analysis of load-independent (LI) product-form queueing networks. However, they have not been extende...
100
Voted
ISMAR
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a set of Augmented Reality (AR) based interaction techniques for spatial analysis of medical datasets. Computer-aided medical planning tools such as our Virtua...
85
Voted
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
97
Voted
DAGM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this contribution we present a silhouette based human motion estimation system. The system components contain silhouette extraction based on level sets, a corresponden...
101
Voted
ICIAR
2005
Springer
15 years 6 months ago
2005
Springer
One of the key issues in microarray analysis is to extract quantitative information from the spots, which represents gene expression levels in the experiments. The process of ident...