1096 search results - page 12 / 220 » Computation Slicing: Techniques and Theory |
WCRE
1999
IEEE
14 years 1 days ago
1999
IEEE
We present a technique for restructuring functions with low cohesion into functions with high cohesion. Such restructuring is desirable when re-architecting a legacy system into a...
SMI
2005
IEEE
14 years 1 months ago
2005
IEEE
We report new techniques and theory in computational topology for reconstructing surfaces with boundary. This complements and extends known techniques for surfaces without boundar...
AAAI
2007
13 years 10 months ago
2007
Recent work has shown promise in using large, publicly available, hand-contributed commonsense databases as joint models that can be used to infer human state from day-to-day sens...
SCAM
2008
IEEE
14 years 2 months ago
2008
IEEE
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...
HOA
1993
13 years 12 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...