Login / Signup
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm.
Margaret M. Burnett
J. William Atwood
Rebecca Walpole Djang
James Reichwein
Herkimer J. Gottfried
Sherry Yang
Published in:
J. Funct. Program. (2001)
Keyphrases
</>
higher order
object boundaries
search engine
first order logic
machine learning
image segmentation
microsoft excel
learning algorithm
multiscale
search algorithm
active contours
data exchange
horn clauses
quantifier elimination