487 search results - page 12 / 98 » A New Approach to Cutting into Finite Element Models |
HAPTICS
2010
IEEE
14 years 8 months ago
2010
IEEE
We present a new approach for realistic visio-haptic simulation of nonlinear and viscoelastic behavior of an organ tissue using a particle model. The spring and damper coefficients...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
IJCAI
1993
14 years 11 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
Publication
Hyper-heuristics are new approaches which aim at raising the level of abstraction when solving combinatorial optimisation problems. In this paper we introduce a new hyper-heuristi...
CVPR
2010
IEEE
15 years 7 days ago
2010
IEEE
Abstract. This work addresses a class of total-variation based multilabeling problems over a spatially continuous image domain, where the data fidelity term can be any bounded fun...