Sciweavers

4636 search results - page 269 / 928
» Modelling and Validation with VipTool
Sort
View
ICRA
2002
IEEE
148views Robotics» more  ICRA 2002»
14 years 1 months ago
Perception Errors in Vision Guided Walking: Analysis, Modeling, and Filtering
This article deals with specific aspects concerning the visual perception process of a humanoid walking machine. An active vision system provides the information about the enviro...
Oliver Lorch, Javier F. Seara, Klaus H. Strobl, Uw...
CAIP
2009
Springer
182views Image Analysis» more  CAIP 2009»
14 years 27 days ago
New Lane Model and Distance Transform for Lane Detection and Tracking
Particle filtering of boundary points is a robust way to estimate lanes. This paper introduces a new lane model in correspondence to this particle filterbased approach, which is ...
Ruyi Jiang, Reinhard Klette, Tobi Vaudrey, Shigang...
BICOB
2009
Springer
14 years 8 days ago
Constrained Fisher Scores Derived from Interaction Profile Hidden Markov Models Improve Protein to Protein Interaction Predictio
Protein-protein interaction plays critical roles in cellular functions. In this work, we propose a computational method to predict protein-protein interaction by using support vec...
Alvaro J. González, Li Liao
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
14 years 22 hour ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
FASE
2004
Springer
14 years 4 hour ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...