Sciweavers

3713 search results - page 212 / 743
» Constructing a Calculus of Programs
Sort
View
113
Voted
SIAMCO
2008
70views more  SIAMCO 2008»
15 years 3 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
127
Voted
COGSCI
2004
97views more  COGSCI 2004»
15 years 3 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
115
Voted
JLP
2000
109views more  JLP 2000»
15 years 3 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...
122
Voted
ANOR
2005
124views more  ANOR 2005»
15 years 3 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&...
106
Voted
SOCO
2010
Springer
15 years 1 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...