Sciweavers

2042 search results - page 207 / 409
» A Global Grid Model Based on
Sort
View
ICCAD
2005
IEEE
110views Hardware» more  ICCAD 2005»
16 years 4 months ago
Performance analysis of carbon nanotube interconnects for VLSI applications
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 ...
Navin Srivastava, Kaustav Banerjee
ICPR
2006
IEEE
16 years 1 months ago
Global-to-Local Non-Rigid Shape Registration
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...
Hui Chen, Bir Bhanu
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 24 days ago
Dynamic Component Substitutability Analysis
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, ...
EWCBR
2004
Springer
16 years 20 days ago
Quantifying the Ocean's CO2 Budget with a CoHeL-IBR System
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...
KES
1999
Springer
15 years 11 months ago
Shape specification in design using fuzzy logic
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...
B. Pham