Sciweavers

3370 search results - page 498 / 674
» Correlation Embedding Analysis
Sort
View
SMI
2010
IEEE
152views Image Analysis» more  SMI 2010»
13 years 9 months ago
Direct-Product Volumetric Parameterization of Handlebodies via Harmonic Fields
—Volumetric parameterization plays an important role for geometric modeling. Due to the complicated topological nature of volumes, it is much more challenging than the surface ca...
Jiazhi Xia, Ying He 0001, Xiaotian Yin, Shuchu Han...
ATS
2010
IEEE
261views Hardware» more  ATS 2010»
13 years 8 months ago
The Test Ability of an Adaptive Pulse Wave for ADC Testing
In the conventional ADC production test method, a high-quality analogue sine wave is applied to the Analogue-toDigital Converter (ADC), which is expensive to generate. Nowadays, an...
Xiaoqin Sheng, Hans G. Kerkhoff
DOCENG
2009
ACM
13 years 8 months ago
Relating declarative hypermedia objects and imperative objects through the NCL glue language
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
Luiz Fernando Gomes Soares, Marcelo Ferreira Moren...
TII
2011
206views Education» more  TII 2011»
13 years 5 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
SAS
2009
Springer
214views Formal Methods» more  SAS 2009»
14 years 11 months ago
Abstract Interpretation of FIFO Replacement
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
Daniel Grund, Jan Reineke