6212 search results - page 859 / 1243 » Skin-Color Modeling and Adaptation |
212
click to vote
HASKELL
2005
ACM
16 years 10 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
219
click to vote
MMSEC
2005
ACM
16 years 10 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...
181
click to vote
AOSE
2005
Springer
16 years 10 days ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
175
click to vote
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
156
Voted
NETGAMES
2004
ACM
16 years 6 days ago
2004
ACM
Today’s Multi-player Online Games (MOGs) are challenged by infrastructure requirements, because of their server-centric nature. Peer-to-peer networks are an interesting alternat...