Sciweavers

2598 search results - page 259 / 520
» The Abstract Immune System Algorithm
Sort
View
ECCV
2010
Springer
15 years 9 months ago
Simultaneous Segmentation and Figure/Ground Organization using Angular Embedding
Abstract. Image segmentation and figure/ground organization are fundamental steps in visual perception. This paper introduces an algorithm that couples these tasks together in a s...
AMDO
2008
Springer
15 years 8 months ago
Inverse Kinematics Using Sequential Monte Carlo Methods
Abstract. In this paper we propose an original approach to solve the Inverse Kinematics problem. Our framework is based on Sequential Monte Carlo Methods and has the advantage to a...
Nicolas Courty, Elise Arnaud
DIWEB
2004
15 years 8 months ago
Using AutoMed for XML data transformation and integration
Abstract. This paper describes how the AutoMed data integration system is being extended to support the integration of heterogeneous XML documents. So far, the contributions of thi...
Lucas Zamboulis, Alexandra Poulovassilis
ESANN
2004
15 years 8 months ago
A sliding mode controller using neural networks for robot manipulator
Abstract. This paper proposes a new sliding mode controller using neural networks. Multilayer neural networks with the error back-propagation learning algorithm are used to compens...
Hajoon Lee, Dongkyung Nam, Cheol Hoon Park
TCAD
2008
181views more  TCAD 2008»
15 years 6 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...