2801 search results - page 321 / 561 » On the Adequateness of the Connection Method |
156
click to vote
COCO
2003
Springer
15 years 12 months ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
185
click to vote
EMMCVPR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We propose two differential geometric representations of planar shapes using: (i) direction functions and (ii) curvature functions, of their boundaries. Under either rep...
180
click to vote
EUROCAST
2003
Springer
15 years 12 months ago
2003
Springer
We propose a novel post processing method for visualization of fiber traces from DT-MRI data. Using a recently proposed non-linear dimensionality reduction technique, Laplacian ei...
150
click to vote
IS4TH
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The context of this research is the development of a pedagogical surgery simulator for colon cancer removal. More precisely, we would like to simulate the gesture which c...
220
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper presents the definition of an integrated processor core ASIC named SCOC3 which is designed for space computers. It also presents the validation method that has led to...