1982 search results - page 261 / 397 » Parametricity and dependent types |
167
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Reliable and complete blood-vessel segmentation is still a challenging problem. This is especially true in the presence of morphologic changes resulting from atherosclerotic disea...
154
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Multi-agent interactions often result in mutual occlusion sequences which constitute a visual signature for the event. We define six qualitative occlusion primitives based on the ...
282
click to vote
GIS
2006
ACM
16 years 7 months ago
2006
ACM
Location information gathered from a variety of sources in the form of sensor data, video streams, human observations, and so on, is often imprecise and uncertain and needs to be ...
172
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
The success of kernel methods including support vector machines (SVMs) strongly depends on the design of appropriate kernels. While initially kernels were designed in order to han...
161
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
Knowing the subcellular location of a protein is critical to a full understanding of its function, and automated, objective methods for assigning locations are needed as part of t...