2343 search results - page 311 / 469 » Structure and Interpretation of Computer Programs |
195
click to vote
BROADNETS
2006
IEEE
16 years 19 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...
184
click to vote
CRV
2006
IEEE
16 years 18 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...
130
click to vote
NIME
2004
Springer
15 years 12 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...
175
click to vote
ESOP
2000
Springer
15 years 10 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...
193
click to vote
LICS
2010
IEEE
15 years 5 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...