1213 search results - page 195 / 243 » Traceability for System Families |
POPL
1995
ACM
14 years 9 days 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...
ISMVL
2010
IEEE
14 years 5 days 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 ...
KDD
2010
ACM
14 years 4 days 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...
AAAI
2007
13 years 11 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...
ACMACE
2008
ACM
13 years 10 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...