Sciweavers

1494 search results - page 66 / 299
» Less Extreme Programming
Sort
View
OTM
2007
Springer
15 years 8 months ago
Invasive Patterns for Distributed Programs
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...
Luis Daniel Benavides Navarro, Mario Südholt,...
SAS
2005
Springer
118views Formal Methods» more  SAS 2005»
15 years 7 months ago
Inference of Well-Typings for Logic Programs with Application to Termination Analysis
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
Maurice Bruynooghe, John P. Gallagher, Wouter Van ...
121
Voted
AIPS
2007
15 years 4 months ago
Mixed Integer Linear Programming for Exact Finite-Horizon Planning in Decentralized Pomdps
We consider the problem of finding an n-agent jointpolicy for the optimal finite-horizon control of a decentralized Pomdp (Dec-Pomdp). This is a problem of very high complexity ...
Raghav Aras, Alain Dutech, François Charpil...
115
Voted
CEC
2010
IEEE
15 years 3 months ago
Generating a novel sort algorithm using Reinforcement Programming
Abstract-- Reinforcement Programming (RP) is a new approach to automatically generating algorithms, that uses reinforcement learning techniques. This paper describes the RP approac...
Spencer K. White, Tony R. Martinez, George L. Rudo...
PADS
2009
ACM
15 years 9 months ago
Causal Program Slicing
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior ...
Ross Gore, Paul F. Reynolds Jr.