Sciweavers

826 search results - page 105 / 166
» A computational approach to the design of micromechanical hi...
Sort
View
DAC
2000
ACM
14 years 9 months ago
Efficient variable ordering using aBDD based sampling
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...
Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro ...
ICALT
2006
IEEE
14 years 2 months ago
Tuning IMS LD for Implementing a Collaborative Lifelong Learning Scenario
This paper describes an approach for modeling and implementing a collaborative learning situation, which is part of a real lifelong learning scenario in astronomy. We adopt and sl...
Davinia Hernández Leo, Eloy D. Villasclaras...
ICRA
2006
IEEE
83views Robotics» more  ICRA 2006»
14 years 2 months ago
On the Treatment of Relative-pose Measurements for Mobile Robot Localization
— In this paper, we study the problem of localization using relative-state estimates. It is shown, that when the same exteroceptive sensor measurement is processed for the comput...
Anastasios I. Mourikis, Stergios I. Roumeliotis
CEC
2005
IEEE
14 years 2 months ago
Two-layered face detection system using evolutionary algorithm
This paper proposes a novel face detection method based on Principal Component Analysis (PCA) and Evolutionary Algorithm (EA). In a view-based approach to face detection, the face ...
Jun-Su Jang, Jong-Hwan Kim
EUROPAR
2004
Springer
14 years 2 months ago
A Fusion-Embedded Skeleton Library
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...
Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasak...