Sciweavers

557 search results - page 67 / 112
» The L4.verified Project - Next Steps
Sort
View
CEC
2008
IEEE
14 years 2 months ago
A self-adaptive cellular memetic algorithm for the DNA fragment assembly problem
Abstract— The DNA fragment assembly problem is to reconstruct a DNA chain from multiple fragments that have previously been sequenced in a laboratory. This is a critical step in ...
Bernabé Dorronsoro, Enrique Alba, Gabriel L...
ICARCV
2008
IEEE
154views Robotics» more  ICARCV 2008»
14 years 2 months ago
Teaching a robot to operate a lift
—This paper discusses a vision problem for the detection of lift operation panel which is a plane subject to deformation due to viewing angle change. The key problem in this proj...
Han Wang, Y. Ying, V. P. Dinh, B. Y. Xie, Danwei W...
ACSC
2007
IEEE
14 years 2 months ago
On Inferences of Full Hierarchical Dependencies
Full hierarchical dependencies (FHDs) constitute a large class of relational dependencies. A relation exhibits an FHD precisely when it can be decomposed into at least two of its ...
Sven Hartmann, Sebastian Link
ICB
2007
Springer
148views Biometrics» more  ICB 2007»
14 years 1 months ago
Walker Recognition Without Gait Cycle Estimation
Abstract. Most of gait recognition algorithms involve walking cycle estimation to accomplish signature matching. However, we may be plagued by two cycle-related issues when develop...
Daoliang Tan, Shiqi Yu, Kaiqi Huang, Tieniu Tan
SCIA
2007
Springer
151views Image Analysis» more  SCIA 2007»
14 years 1 months ago
A PCA-Based Technique to Detect Moving Objects
Abstract. Moving objects detection is a crucial step for video surveillance systems. The segmentation performed by motion detection algorithms is often noisy, which makes it hard t...
Nicolas Verbeke, Nicole Vincent