The work in this paper analyses the applicability of carbon nanotube (CNT) bundles as interconnects for VLSI circuits, while taking into account the practical limitations in this ...
Non-rigid shape registration is an important issue in computer vision. In this paper we propose a novel globalto-local procedure for aligning non-rigid shapes. The global similari...
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
By improving accuracy in the quantification of the ocean’s CO2 budget, a more precise estimation can be made of the terrestrial fraction of global CO2 budget and its subsequent e...
Juan M. Corchado, Jim Aiken, Emilio Corchado, Nath...
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...