Sciweavers

1824 search results - page 176 / 365
» Practices and Techniques for Engineering Process Capability ...
Sort
View
ICSE
2004
IEEE-ACM
16 years 4 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....
CVPR
2005
IEEE
16 years 6 months ago
A Cross-Validatory Statistical Approach to Scale Selection for Image Denoising by Nonlinear Diffusion
Scale-spaces induced by diffusion processes play an important role in many computer vision tasks. Automatically selecting the most appropriate scale for a particular problem is a ...
George Papandreou, Petros Maragos
VMCAI
2010
Springer
16 years 1 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
FGR
2008
IEEE
288views Biometrics» more  FGR 2008»
15 years 10 months ago
Face recognition with temporal invariance: A 3D aging model
The variation caused by aging has not received adequate attention compared with pose, lighting, and expression variations. Aging is a complex process that affects both the 3D shap...
Unsang Park, Yiying Tong, Anil K. Jain
ICSE
2005
IEEE-ACM
16 years 4 months ago
Validation methods for calibrating software effort models
COCONUT calibrates effort estimation models using an exhaustive search over the space of calibration parameters in a COCOMO I model. This technique is much simpler than other effo...
Tim Menzies, Daniel Port, Zhihao Chen, Jairus Hihn...