Sciweavers

7167 search results - page 285 / 1434
» Answer Set Programming
Sort
View
142
Voted
ANOR
2006
58views more  ANOR 2006»
15 years 2 months ago
A management system for decompositions in stochastic programming
This paper presents two contributions: A set of routines that manipulate instances of stochastic programming problems in order to make them more amenable for different solution ap...
Robert Fourer, Leo Lopes
DISOPT
2006
90views more  DISOPT 2006»
15 years 2 months ago
Tree decompositions of graphs: Saving memory in dynamic programming
We propose an effective heuristic to save memory in dynamic programming on tree decompositions when solving graph optimization problems. The introduced "anchor technique"...
Nadja Betzler, Rolf Niedermeier, Johannes Uhlmann
100
Voted
SIGCSE
2002
ACM
123views Education» more  SIGCSE 2002»
15 years 2 months ago
Algorithms and object-oriented programming: bridging the gap
Currently there is a serious conceptual and technical gap between ideas emphasized in object-oriented programming and ideas as taught in algorithms courses. We suggest both a para...
Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce...
LFCS
2007
Springer
15 years 8 months ago
Compactness Properties for Stable Semantics of Logic Programs
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
Victor W. Marek, Jeffrey B. Remmel
VL
2005
IEEE
144views Visual Languages» more  VL 2005»
15 years 8 months ago
Gestural Musical Improvisation and Programming
We present a human-centered gestural system for musical improvisation, MIND. We demonstrate the relationship between music composition and programming. Preliminary field data from...
Peter Khooshabeh, Ethan Smith, John Thomspon