Sciweavers

441 search results - page 6 / 89
» A simple boiling module
Sort
View
PG
2002
IEEE
14 years 9 days ago
A Simple Method for Modeling Wrinkles on Human Skin
Realism of rendered human skin can be strongly enhanced by taking into account skin wrinkles. However, modeling wrinkles is a difficult task, and considerable time and effort are ...
Yosuke Bando, Takaaki Kuratate, Tomoyuki Nishita
ETT
2006
102views Education» more  ETT 2006»
13 years 7 months ago
Bit-interleaved coded irregular modulation
We consider a simple method to improve the adaptiveness and flexibility of bit-interleaved coded modulation (BICM) for various channel models. With state-of-the art adaptive transm...
Frank Schreckenbach, Gerhard Bauch
POPL
2003
ACM
14 years 7 months ago
A type system for higher-order modules
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
Derek Dreyer, Karl Crary, Robert Harper
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
14 years 4 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
ICFP
2005
ACM
14 years 7 months ago
Type inference, principal typings, and let-polymorphism for first-class mixin modules
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
Henning Makholm, J. B. Wells