2343 search results - page 311 / 469 » Structure and Interpretation of Computer Programs |
186
Voted
BROADNETS
2006
IEEE
16 years 5 days ago
2006
IEEE
— This paper presents the design and dimensioning optimization of a novel optical network structure, called the Petaweb, having a total capacity of several Pb/s (1015 bit/s). Its...
176
click to vote
CRV
2006
IEEE
16 years 5 days ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
123
click to vote
NIME
2004
Springer
15 years 11 months ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
165
click to vote
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
185
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...