120 search results - page 8 / 24 » Generative type abstraction and type-level computation |
ICCS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Wrinkles are important visual features on the skin of an animated character. However, realistic animation of wrinkles is not easy, especially for the hand, as it gathers ...
Publication
Modern hardware description languages support code-generation constructs like generate/endgenerate in Verilog. These constructs are intended to describe regular or parameterized ha...
ICPPW
2006
IEEE
14 years 1 months ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...
TLCA
2005
Springer
14 years 27 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
IJCNN
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Meta-learning helps us find solutions to computational intelligence (CI) challenges in automated way. Metalearning algorithm presented in this paper is universal and m...