Sciweavers

292 search results - page 38 / 59
» A linearization of the Lambda-calculus and consequences
Sort
View
SMI
2006
IEEE
186views Image Analysis» more  SMI 2006»
15 years 7 months ago
BSP Shapes
We discuss a shape representation based on a set of disconnected (planar) polygons. The polygons are computed by creating a BSP that contains approximately linear surface patches ...
Carsten Stoll, Hans-Peter Seidel, Marc Alexa
SOFTCO
2004
Springer
15 years 6 months ago
Designing Neural Networks Using Gene Expression Programming
Abstract. An artificial neural network with all its elements is a rather complex structure, not easily constructed and/or trained to perform a particular task. Consequently, severa...
Cândida Ferreira
ICAT
2003
IEEE
15 years 6 months ago
A Formalism and a Tool for Diverging Requirements in VR Scenario Modeling
Any VR scenario should offer a certain degree of nonlinearity or openness regarding the story progress as a consequence of the interaction with the user. In this paper we propose ...
Richard Wages, Benno Grützmacher, Georg Troge...
FCCM
2002
IEEE
127views VLSI» more  FCCM 2002»
15 years 6 months ago
Hardware-Assisted Fast Routing
To fully realize the benefits of partial and rapid reconfiguration of field-programmable devices, we often need to dynamically schedule computing tasks and generate instance-sp...
André DeHon, Randy Huang, John Wawrzynek
CDC
2009
IEEE
120views Control Systems» more  CDC 2009»
15 years 6 months ago
Multivariable three-term optimal controller design for large-scale systems
— This paper deals with the design of controllers for large-scale linear time-invariant multi-input multi-output systems, such as those that often arise in process control. We fo...
Edward J. Davison, Daniel E. Davison, Simon Lam