1403 search results - page 234 / 281 » Quantitative Interprocedural Analysis |
CEC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract-- In this paper, a segmentation technique of multispectral magnetic resonance image of the brain using a new differential evolution based crisp clustering is proposed. Rea...
CIKM
2010
Springer
13 years 5 months ago
2010
Springer
The objective of this work is to derive quantitative statements about what fraction of web search queries issued to the state-of-the-art commercial search engines lead to excellen...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper we show how to quantify dependency between the node distributions of wireless networks and the underlying population densities. Furthermore, we show that a quantitati...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
Tracking of curvilinear structures is a task of fundamental importance in the quantitative analysis of biological structures such as neurons, blood vessels, retinal interconnects,...
JELIA
2010
Springer
13 years 5 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...