572 search results - page 101 / 115 » metrics 2005 |
102
click to vote
BIRD
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. An increasing and overwhelming amount of biomedical information is available in the research literature mainly in the form of free-text. Biologists need tools that automa...
3DIM
2005
IEEE
14 years 11 months ago
2005
IEEE
We consider the problem of geometric integration and representation of multiple views of non-rigidly deforming 3D surface geometry captured at video rate. Instead of treating each...
CHARME
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
COMPSAC
2005
IEEE
14 years 11 months ago
2005
IEEE
Component-based software development (CBSD) offers many advantages like reduced product time to market, reduced complexity and cost etc. Despite these advantages its wide scale ut...
108
click to vote
CVPR
2005
IEEE
14 years 11 months ago
2005
IEEE
The segmentation of anatomical structures has been traditionally formulated as a perceptual grouping task, and solved through clustering and variational approaches. However, such ...