Sciweavers

1782 search results - page 317 / 357
» A Data Transformation Method Based on Schema Mapping
Sort
View
FMICS
2008
Springer
15 years 3 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
COMPUTING
2006
112views more  COMPUTING 2006»
15 years 2 months ago
Fast Summation of Radial Functions on the Sphere
Radial functions are a powerful tool in many areas of multidimensional approximation, especially when dealing with scattered data. We present a fast approximate algorithm for the ...
Jens Keiner, Stefan Kunis, Daniel Potts
TSMC
2008
104views more  TSMC 2008»
15 years 1 months ago
Head Yaw Estimation From Asymmetry of Facial Appearance
This paper proposes a novel method to estimate the head yaw rotations based on the asymmetry of 2-D facial appearance. In traditional appearance-based pose estimation methods, feat...
Bingpeng Ma, Shiguang Shan, Xilin Chen, Wen Gao
129
Voted
SPIN
2009
Springer
15 years 8 months ago
Identifying Modeling Errors in Signatures by Model Checking
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
Sebastian Schmerl, Michael Vogel, Hartmut Kön...
ICRA
2010
IEEE
222views Robotics» more  ICRA 2010»
15 years 14 days ago
Pose estimation in heavy clutter using a multi-flash camera
We propose a novel solution to object detection, localization and pose estimation with applications in robot vision. The proposed method is especially applicable when the objects ...
Ming-Yu Liu, Oncel Tuzel, Ashok Veeraraghavan, Ram...