9626 search results - page 411 / 1926 » Invariant Based Programming |
191
click to vote
OWLED
2007
15 years 8 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
176
click to vote
CRIWG
2006
15 years 8 months ago
2006
This paper presents a system called CodeBreaker for supporting small and medium size software development based on an extreme programming principle. The system follows a decentrali...
167
click to vote
IWFM
2003
15 years 8 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
143
click to vote
IOR
2006
15 years 6 months ago
2006
The DASH model for Power Portfolio Optimization provides a tool which helps decision-makers coordinate production decisions with opportunities in the wholesale power market. The m...
163
click to vote
JCC
2006
15 years 6 months ago
2006
: A computer program has been developed to aid the analysis of molecular dynamics trajectories. The program is tuned for macromolecular large-scale problems and supports features s...