Sciweavers

4276 search results - page 66 / 856
» Techniques for Empirical Validation
Sort
View
CAISE
1993
Springer
15 years 4 months ago
Visualisation for Validation
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
Vali Lalioti, Pericles Loucopoulos
AISC
2008
Springer
15 years 1 months ago
Validated Evaluation of Special Mathematical Functions
Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-know...
Franky Backeljauw, Stefan Becuwe, Annie A. M. Cuyt
ESWS
2008
Springer
15 years 1 months ago
Mapping Validation by Probabilistic Reasoning
In the semantic web environment, where several independent ontologies are used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the...
Silvana Castano, Alfio Ferrara, Davide Lorusso, To...
IMAGING
2004
15 years 1 months ago
Validation of Color Managed 3D Appearance Acquisition
Image-based appearance acquisition algorithms are able to generate realistic 3D models of real objects but have previously not taken care of calibrated color space. We integrate a...
Michael Goesele, Hendrik P. A. Lensch, Hans-Peter ...
ASPDAC
2010
ACM
129views Hardware» more  ASPDAC 2010»
14 years 10 months ago
On signal tracing in post-silicon validation
It is increasingly difficult to guarantee the first silicon success for complex integrated circuit (IC) designs. Post-silicon validation has thus become an essential step in the I...
Qiang Xu, Xiao Liu