Sciweavers

215 search results - page 12 / 43
» Relational inductive shape analysis
Sort
View
IMR
2004
Springer
14 years 1 months ago
Mechanical Criteria for the Preparation of Finite Element Models
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
Gilles Foucault, Philippe M. Marin, Jean-Claude L&...
FMICS
2008
Springer
13 years 9 months ago
Formal Verification of the Implementability of Timing Requirements
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
Xiayong Hu, Mark Lawford, Alan Wassyng
IJCAI
1989
13 years 8 months ago
An Empirical Comparison of Pattern Recognition, Neural Nets, and Machine Learning Classification Methods
Classification methods from statistical pattern recognition, neural nets, and machine learning were applied to four real-world data sets. Each of these data sets has been previous...
Sholom M. Weiss, Ioannis Kapouleas
COLING
2002
13 years 7 months ago
Effective Structural Inference for Large XML Documents
This paper investigates methods to automatically infer structural information from large XML documents. Using XML as a reference format, we approach the schema generation problem ...
Jason Sankey, Raymond K. Wong
ICCAD
2003
IEEE
139views Hardware» more  ICCAD 2003»
14 years 4 months ago
Equivalent Waveform Propagation for Static Timing Analysis
This paper proposes a scheme that captures diverse input waveforms of CMOS gates for static timing analysis. Conventionally the latest arrival time and transition time are calcula...
Masanori Hashimoto, Yuji Yamada, Hidetoshi Onodera