1778 search results - page 314 / 356 » Local multidimensional scaling |
184
click to vote
TPHOL
2009
IEEE
16 years 19 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
182
click to vote
SEMWEB
2009
Springer
16 years 16 days ago
2009
Springer
Our ontology schema matching algorithm takes the essence of the locality of reference by considering the neighboring concepts and relations to align the entities of ontologies. It ...
170
click to vote
SECON
2008
IEEE
16 years 11 days ago
2008
IEEE
Stationary wireless sensor networks (WSNs) fail to scale when the area to be monitored is open (i.e borderless) and the physical phenomena to be monitored may migrate through a la...
173
click to vote
ICCV
2007
IEEE
16 years 9 days ago
2007
IEEE
We propose an operational method to extract the left ventricle (LV) systole dynamics using HARmonic Phase (HARP) images extracted from tagged cardiac MR sequences. Established tec...
183
click to vote
ICCV
2007
IEEE
16 years 9 days ago
2007
IEEE
Multi-chamber heart segmentation is a prerequisite for global quantification of the cardiac function. The complexity of cardiac anatomy, poor contrast, noise or motion artifacts ...