105 search results - page 17 / 21 » Euler's Partition Theorem |
144
Voted
ICRA
2009
IEEE
15 years 1 months ago
2009
IEEE
A Riemannian-geometry approach for control and stabilization of dynamics of object manipulation under holonomic or non-holonomic (but Pfaffian) constraints is presented. First, pos...
189
Voted
VIS
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract--Smooth surface extraction using partial differential equations (PDEs) is a well-known and widely used technique for visualizing volume data. Existing approaches operate o...
131
Voted
COMPGEOM
2003
ACM
15 years 8 months ago
2003
ACM
Docking is the process by which two or several molecules form a complex. Docking involves the geometry of the molecular surfaces, as well as chemical and energetical consideration...
145
Voted
ENTCS
2008
15 years 3 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
128
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper proposes an image segmentation model based on the active contour model, the Mumford-Shah functional and the image decomposition process. Generally speaking, the active ...