2642 search results - page 487 / 529 » The development of Chez Scheme |
93
Voted
SMA
2003
ACM
15 years 5 months ago
2003
ACM
In this paper, we propose a new scheme for free-form skeletondriven global mesh deformations. First a Voronoi-based skeletal mesh is extracted from a given original mesh. Next the...
VRML
2003
ACM
15 years 5 months ago
2003
ACM
This paper describes a robust mechanism for transmitting 3D meshes over the Internet. TCP/IP is an excellent means for reliable transport over the Internet. However, multi-user, r...
CP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...
122
click to vote
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
127
Voted
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...