Sciweavers

1619 search results - page 29 / 324
» Structure in the Space of Value Functions
Sort
View
VISUALIZATION
2002
IEEE
15 years 10 months ago
A Radial Focus+Context Visualization for Multi-Dimensional Functions
The analysis of multidimensional functions is important in many engineering disciplines, and poses a major problem as the number of dimensions increases. Previous visualization ap...
Sanjini Jayaraman, Chris North
ESOP
2009
Springer
16 years 10 days ago
Amortised Memory Analysis Using the Depth of Data Structures
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
Brian Campbell
141
Voted
DISOPT
2008
81views more  DISOPT 2008»
15 years 5 months ago
Intermediate integer programming representations using value disjunctions
We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set ...
Matthias Köppe, Quentin Louveaux, Robert Weis...
150
Voted
IFL
2004
Springer
15 years 11 months ago
A Functional Programming Technique for Forms in Graphical User Interfaces
This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (G...
Sander Evers, Peter Achten, Jan Kuper
DASFAA
2008
IEEE
109views Database» more  DASFAA 2008»
16 years 13 hour ago
Bulk-Loading the ND-Tree in Non-ordered Discrete Data Spaces
Applications demanding multidimensional index structures for performing efficient similarity queries often involve a large amount of data. The conventional tuple-loading approach t...
Hyun-Jeong Seok, Gang Qian, Qiang Zhu, Alexander R...