The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
Engineering problem solving requires both domain knowledge and an understanding of how to apply that knowledge. While much of the recent work in qualitative physics has focused on...
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
Skeleton can be viewed as a compact shape representation in that the shape can be completely reconstructed form the skeleton. We present a novel method for skeleton pruning that is...
— We conduct a complete analysis of the effect of digit redundancy in adders on their delay, power, energy, and energy-delay product. To our knowledge, this is the first such de...
Kavallur Gopi Smitha, H. A. H. Fahmy, A. Prasad Vi...