We introduce program splicing, a programming methodology that aims to automate the commonly used workƒow of copying, pasting, and modifying code available online. Here, the programmer starts by writing a “dra‰” that mixes un€nished code, natural language comments, and correctness requirements in the form of test cases or API call sequence constraints. A program synthesizer that interacts with a...

The field of computer graphics abounds with modeling and simulation problems. Among these are the representation of surface shape, the description of surface reflectance, the probabilistic modeling of small-scale variations, and the application of physics for simulating the dynamics of rigid and elastic materials. During its formative years, computer graphics has focused largely on developing a...

In the early 1990s, the effectiveness and ef®ciency of the information systems (IS) supporting the US Department of Defense's non-combat operations was questioned. As had many organizations, the support had evolved into multiple, redundant, unintegrated, undocumented, stove-piped IS. These systems require unnecessarily large non-combat IS expenses, supporting war ®ghting efforts. Lack of integr...

MACCHIA RJ. Data driven education. Can J Urol 2015;22(6):8099. and claims not supported by data. For example, in the Introduction it states “...leading to inappropriate or ineffective MBWs”, but only anecdotal material is cited. The article states that it “...seeks to define the technique...”, but in fact presents no data in support of that goal. While the suggestion for a clinical trial may so...

This paper presents CDDF, a model of computation underpinning the formal seman-tics of a number of parallel programming languages. CDDF integrates control ow elements for thedynamic construction of task graphs, and data ow elements to express dependent computationsand to decouple these using unbounded streams (Kahn process networks). It is a common groundto de ne the formal sema...

The evaluation of ontologies is vital for the growth of the Semantic Web. We consider a number of problems in evaluating a knowledge artifact like an ontology. We propose in this paper that one approach to ontology evaluation should be corpus or data driven. A corpus is the most accessible form of knowledge and its use allows a measure to be derived of the ‘fit’ between an ontology and a domain...