Sciweavers

3128 search results - page 465 / 626
» Finite element method
Sort
View
135
Voted
SCALESPACE
2009
Springer
15 years 11 months ago
Pre-image as Karcher Mean Using Diffusion Maps: Application to Shape and Image Denoising
In the context of shape and image modeling by manifold learning, we focus on the problem of denoising. A set of shapes or images being known through given samples, we capture its s...
Nicolas Thorstensen, Florent Ségonne, Renau...
148
Voted
SMA
2009
ACM
137views Solid Modeling» more  SMA 2009»
15 years 11 months ago
Hierarchical molecular interfaces and solvation electrostatics
Electrostatic interactions play a significant role in determining the binding affinity of molecules and drugs. While significant effort has been devoted to the accurate computat...
Chandrajit L. Bajaj, Shun-Chuan Albert Chen, Guoli...
156
Voted
TPHOL
2008
IEEE
15 years 11 months ago
A Type of Partial Recursive Functions
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
Ana Bove, Venanzio Capretta
ICRA
2007
IEEE
107views Robotics» more  ICRA 2007»
15 years 11 months ago
Real-time keypoints matching: application to visual servoing
Abstract— Many computer vision problems such as recognition, image retrieval, and tracking require matching two images. Currently, ones try to find as reliable as possible match...
Thi-Thanh-Hai Tran, Éric Marchand
ISCC
2007
IEEE
15 years 11 months ago
Validating Attacks on Authentication Protocols
— It is possible to show that well-known attacks on authentication protocols are flawed. This is a problem, since good protocols may thus be dismissed rather than improved and p...
Anders Moen Hagalisletto