Sciweavers

15754 search results - page 429 / 3151
» Programs are Knowledge Bases
Sort
View
HICSS
2008
IEEE
236views Biometrics» more  HICSS 2008»
16 years 1 months ago
A Case Study: Introducing eXtreme Programming in a US Government System Development Project
The US Military’s ability to meet its mission critical requirements calls for increased agility in its information technology development process. The purpose of this case study...
Ann L. Fruhling, Patrick McDonald, Christopher Dun...
KR
2010
Springer
15 years 11 months ago
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
Reinhard Pichler, Stefan Rümmele, Stefan Szei...
ICLP
1997
Springer
15 years 11 months ago
Hybrid Probabilistic Programs
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...
Alex Dekhtyar, V. S. Subrahmanian
ENTCS
2007
84views more  ENTCS 2007»
15 years 6 months ago
Inductive Reasoning and Programming Visualization, an Experiment Proposal
We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...
Andrés Moreno, Niko Myller, Erkki Sutinen, ...
IJPP
2007
91views more  IJPP 2007»
15 years 6 months ago
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato...