3333 search results - page 281 / 667 » New Invariants for Groups |
181
click to vote
ITCC
2005
IEEE
16 years 12 days ago
2005
IEEE
“Mobile Internet” arguably means more than just a new technique for communication; many analysts believe that it will revolutionize the business world and innovate the way ind...
177
click to vote
SMI
2005
IEEE
16 years 12 days ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
207
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
220
click to vote
MMSEC
2005
ACM
16 years 11 days ago
2005
ACM
In this paper, we propose a new fragile watermarking scheme for 3D meshes. Firstly, the watermark information is adaptively embedded into the mesh geometry by slightly adjusting t...
190
click to vote
CSL
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...