27274 search results - page 228 / 5455 » A framework for framework documentation |
228
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
180
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
conflicts between goals and plans in Dung’s abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beli...
179
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
178
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
We present a general joint component framework model that is capable of exhibiting complex behavior of joints in articulated figures. The joints are capable of handling non-ortho...
174
click to vote
ADC
2003
Springer
15 years 11 months ago
2003
Springer
The mining of informative rules calls for methods that include different attributes (e.g., weights, quantities, multipleconcepts) suitable for the context of the problem to be an...