Sciweavers

74 search results - page 13 / 15
» Introduction to the Calculus of Variations
Sort
View
DATE
2002
IEEE
95views Hardware» more  DATE 2002»
14 years 12 days ago
Optimal Transistor Tapering for High-Speed CMOS Circuits
Transistor tapering is a widely used technique applied to optimize the geometries of CMOS transistors in highperformance circuit design with a view to minimizing the delay of a FE...
Li Ding 0002, Pinaki Mazumder
ESOP
2008
Springer
13 years 9 months ago
Practical Programming with Higher-Order Encodings and Dependent Types
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
Adam Poswolsky, Carsten Schürmann
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 7 months ago
Mathematical Foundations for a Compositional Distributional Model of Meaning
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark
IJRR
2008
73views more  IJRR 2008»
13 years 7 months ago
Optimization of Complex Robot Applications under Real Physical Limitations
This paper deals with minimum time trajectory optimization along a specified path subject to thermal constraints. We point out here that robots are often integrated in complex rob...
Matthieu Guilbert, Luc D. Joly, Pierre-Brice Wiebe...
PAMI
2008
144views more  PAMI 2008»
13 years 7 months ago
Finsler Active Contours
In this paper, we propose an image segmentation technique based on augmenting the conformal (or geodesic) active contour framework with directional information. In the isotropic ca...
John Melonakos, Eric Pichon, Sigurd Angenent, Alle...