Pointer (computer programming)
Semantic Scholar uses AI to extract papers important to this topic.
Neural sequence-to-sequence models have provided a viable new approach for abstractive text summarization (meaning they are not… Expand In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by… Expand We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability… Expand From the publisher: This is the first comprehensive introduction to Support Vector Machines (SVMs), a new generation learning… Expand A program slice consists of the parts of a program that (potentially) affect the values computed at some point of interest. Such… Expand Case-based reasoning is a recent approach to problem solving and learning that has got a lot of attention over the last few years… Expand The concept of an agent has become important in both Artificial Intelligence (AI) and mainstream computer science. In this… Expand A new algorithm is presented for constructing auxiliary digital search trees to aid in exact-match substring searching. This… Expand All digitizing methods, as a general rule, record lines with far more data than is necessary for accurate graphic reproduction or… Expand An instrument for facilitating the calculation of equivalent values includes a plate bearing symbols representing units and… Expand