Sciweavers

15754 search results - page 666 / 3151
» Programs are Knowledge Bases
Sort
View
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 8 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
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...
Doug Goldson
IOR
2006
118views more  IOR 2006»
15 years 7 months ago
A Stochastic Programming Approach to Power Portfolio Optimization
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...
Suvrajeet Sen, Lihua Yu, Talat Genc
JCC
2006
78views more  JCC 2006»
15 years 7 months ago
Software news and updates carma: A molecular dynamics analysis program
: 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...
Nicholas M. Glykos
JELIA
2010
Springer
15 years 5 months ago
dl2asp: Implementing Default Logic via Answer Set Programming
In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formula...
Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
HCI
2009
15 years 5 months ago
Management of Work Site Health-Promotion Programs: A Review
The review starts with the assessment of needs for health promotion, particularly drawing upon the aging of the workforce in Europe and U.S. Basic intervention models for work site...
Bernhard Zimolong, Gabriele Elke