Slice models are collections of mathematical programs with the same structure but different data. Examples of slice models appear in Data Envelopment Analysis, where they are used to evaluate efficiency, and cross-validation, where they are used to measure generalization ability. Because they involve multiple programs, slice models tend to be data-intensive and time consuming to solve. However, by incorporating addi-tional information in the solution process, such as the common structure and shared data, we are able to solve these models much more efficiently. In addition because of the efficiency we achieve, we are able to process much larger real-world problems and extend slice model results through the application of more computationally...
Although Weiser originally defined a program slice to be an executable projection of a program, much...
When computing program slices on all variables in a system, we observed that many of these slices ar...
We present techniques that enable higher-order functional compu-tations to “explain ” their work by ...
Slicing is used to reduce the size of programs by removing those statements that do not contribute ...
Slicing is used to reduce the size of programs by removing those state-ments that do not contribute ...
Slicing is a technique, traditionally applied to programs, for extracting the parts of a program tha...
Abstract. We show how to implement the cross-validation technique used in ma-chine learning as a sli...
© 1989-2012 IEEE. As machine learning systems become democratized, it becomes increasingly important...
Software testing is an activity which aims at evaluating an feature or capability of system and dete...
International audienceAmong model comprehension tools, model slicers are tools that extract a subset...
Low-code platforms (LCP) use models as the main artifact during the software development process. Ty...
This paper defines a new variant of program slicing, called specialization slicing, and presents an ...
Program slice is the part of program that may take the program off the path of the desired output at...
Abstract. Slicing is a program analysis technique that was originally introduced to improve program ...
With the growing popularity of analyzable declarative modeling languages, in general, and Alloy, in ...
Although Weiser originally defined a program slice to be an executable projection of a program, much...
When computing program slices on all variables in a system, we observed that many of these slices ar...
We present techniques that enable higher-order functional compu-tations to “explain ” their work by ...
Slicing is used to reduce the size of programs by removing those statements that do not contribute ...
Slicing is used to reduce the size of programs by removing those state-ments that do not contribute ...
Slicing is a technique, traditionally applied to programs, for extracting the parts of a program tha...
Abstract. We show how to implement the cross-validation technique used in ma-chine learning as a sli...
© 1989-2012 IEEE. As machine learning systems become democratized, it becomes increasingly important...
Software testing is an activity which aims at evaluating an feature or capability of system and dete...
International audienceAmong model comprehension tools, model slicers are tools that extract a subset...
Low-code platforms (LCP) use models as the main artifact during the software development process. Ty...
This paper defines a new variant of program slicing, called specialization slicing, and presents an ...
Program slice is the part of program that may take the program off the path of the desired output at...
Abstract. Slicing is a program analysis technique that was originally introduced to improve program ...
With the growing popularity of analyzable declarative modeling languages, in general, and Alloy, in ...
Although Weiser originally defined a program slice to be an executable projection of a program, much...
When computing program slices on all variables in a system, we observed that many of these slices ar...
We present techniques that enable higher-order functional compu-tations to “explain ” their work by ...