8141 search results - page 6 / 1629 » Higher Order Generalization |
CGF
2008
13 years 7 months ago
2008
In recent years, a wide range of generalized barycentric coordinates has been suggested. However, all of them lack control over derivatives. We show how the notion of barycentric ...
VISUALIZATION
2005
IEEE
14 years 1 months ago
2005
IEEE
Tensors occur in many areas of science and engineering. Especially, they are used to describe charge, mass and energy transport (i.e. electrical conductivity tensor, diffusion ten...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
ICMT
2010
Springer
14 years 9 days ago
2010
Springer
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Evaluation in Information Retrieval (IR) has long focused on effectiveness and efficiency. However, new and emerging access tasks now demand alternative evaluation measures which ...