1403 search results - page 137 / 281 » Quantitative Interprocedural Analysis |
QEST
2006
IEEE
14 years 4 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...
ISMAR
2005
IEEE
14 years 3 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...
KCAP
2005
ACM
14 years 3 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...
DAGM
2005
Springer
14 years 3 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...
ICIAR
2005
Springer
14 years 3 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...