Sciweavers

2268 search results - page 342 / 454
» The Essence of Form Abstraction
Sort
View
JVCA
2006
206views more  JVCA 2006»
15 years 1 months ago
Realistic human hand deformation
d Abstract) Jieun Lee, Seung-Hyun Yoon, and Myunng-Soo Kim Seoul National University, KOREA We present a new approach to realistic hand modeling and deformation with real-time per...
Jieun Lee, Seung-Hyun Yoon, Myung-Soo Kim
FAC
2007
170views more  FAC 2007»
15 years 1 months ago
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
Patrice Chalin
SCN
2008
Springer
131views Communications» more  SCN 2008»
15 years 1 months ago
CLL: A Cryptographic Link Layer for Local Area Networks
Abstract. Ethernet and IP form the basis of the vast majority of LAN installations. But these protocols do not provide comprehensive security mechanisms, and thus give way for a pl...
Yves Igor Jerschow, Christian Lochert, Björn ...
SIAMAM
2008
94views more  SIAMAM 2008»
15 years 1 months ago
Self-Similar Solutions for the Triple Point Paradox in Gasdynamics
Abstract. We present numerical solutions of a two-dimensional Riemann problem for the compressible Euler equations that describes the Mach reflection of weak shock waves. High reso...
Allen M. Tesdall, Richard Sanders, Barbara L. Keyf...
SIAMSC
2008
165views more  SIAMSC 2008»
15 years 1 months ago
Iterated Hard Shrinkage for Minimization Problems with Sparsity Constraints
Abstract. A new iterative algorithm for the solution of minimization problems in infinitedimensional Hilbert spaces which involve sparsity constraints in form of p-penalties is pro...
Kristian Bredies, Dirk A. Lorenz