1213 search results - page 195 / 243 » Traceability for System Families |
102
Voted
POPL
1995
ACM
15 years 4 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
90
Voted
ISMVL
2010
IEEE
15 years 4 months ago
2010
IEEE
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly ...
79
Voted
KDD
2010
ACM
15 years 4 months ago
2010
ACM
Many real-world data mining tasks require the achievement of two distinct goals when applied to unseen data: first, to induce an accurate preference ranking, and second to give g...
113
Voted
AAAI
2007
15 years 3 months ago
2007
Graphical games capture some of the key aspects relevant to the study and design of multi-agent systems. It is often of interest to find the conditions under which a game is stab...
96
Voted
ACMACE
2008
ACM
15 years 2 months ago
2008
ACM
Though often desirable, the integration of real and virtual elements in mixed reality environments can be difficult. We propose a number of techniques to facilitate scene explorat...