12981 search results - page 2571 / 2597 » Model Checking (Abstract) |
102
click to vote
TMI
2008
14 years 9 months ago
2008
Abstract--Electrical impedance tomography (EIT) is a developing imaging modality that is beginning to show promise for detecting and characterizing tumors in the breast. At Renssel...
TMM
2008
14 years 9 months ago
2008
Abstract--Traditional video servers partially cope with heterogeneous client populations by maintaining a few versions of the same stream with different bit rates. More recent vide...
113
click to vote
TOG
2008
14 years 9 months ago
2008
eleton is a very useful 1D structure to abstract the geometry and topology of a 3D object. Extraction of curve-skeletons is a fundamental problem in computer graphics, visualizatio...
108
click to vote
JEI
2007
14 years 9 months ago
2007
Abstract. A number of successful tone mapping operators for contrast compression have been proposed due to the need to visualize high dynamic range (HDR) images on low dynamic rang...
TON
2008
14 years 9 months ago
2008
Abstract--Intermittently connected mobile networks are wireless networks where most of the time there does not exist a complete path from the source to the destination. There are m...