Sciweavers

3713 search results - page 212 / 743
» Constructing a Calculus of Programs
Sort
View
SIAMCO
2008
70views more  SIAMCO 2008»
15 years 6 months ago
Duality in Linear Programming Problems Related to Deterministic Long Run Average Problems of Optimal Control
It has been established recently that, under mild conditions, deterministic long run average problems of optimal control are "asymptotically equivalent" to infinite-dimen...
Luke Finlay, Vladimir Gaitsgory, Ivan Lebedev
COGSCI
2004
97views more  COGSCI 2004»
15 years 6 months ago
A rhythm recognition computer program to advocate interactivist perception
This paper advocates the main ideas of the interactive model of representation of Mark Bickhard and the assimilation/accommodation framework of Jean Piaget, through a rhythm recog...
Jean-Christophe Buisson
JLP
2000
109views more  JLP 2000»
15 years 6 months ago
Demand Transformation Analysis for Concurrent Constraint Programs
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...
Moreno Falaschi, Patrick Hicks, William H. Winsbor...
ANOR
2005
124views more  ANOR 2005»
15 years 6 months ago
On Compact Formulations for Integer Programs Solved by Column Generation
Column generation has become a powerful tool in solving large scale integer programs. It is well known that most of the often reported compatibility issues between pricing subprobl...
Daniel Villeneuve, Jacques Desrosiers, Marco E. L&...
SOCO
2010
Springer
15 years 4 months ago
Event-Specific Software Composition in Context-Oriented Programming
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
Malte Appeltauer, Robert Hirschfeld, Hidehiko Masu...