scholarly journals Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines

2013 ◽  
Vol 111 ◽  
pp. 82-94 ◽  
Author(s):  
Stephan Weißleder ◽  
Hartmut Lackner
2003 ◽  
Vol 12 (03) ◽  
pp. 227-248 ◽  
Author(s):  
Henning Christiansen ◽  
Veronica Dahl

We propose an abductive model based on Constraint Handling Rule Grammars (CHRGs) for detecting and correcting errors in problem domains that can be described in terms of strings of words accepted by a logic grammar. We provide a proof of concept for the specific problem of detecting and repairing natural language errors, in particular, those concerning feature agreement. Our methodology relies on grammar and string transformation in accordance with a user-defined dictionary of possible repairs. This transformation also serves as top-down guidance for our essentially bottom-up parser. With respect to previous approaches to error detection and repair, including those that also use constraints and/or abduction, our methodology is surprisingly simple while far-reaching and efficient.


Author(s):  
SUNGHO KIM ◽  
GIJEONG JANG ◽  
WANG-HEON LEE ◽  
IN SO KWEON

This paper presents a combined model-based 3D object recognition method motivated by the robust properties of human vision. The human visual system (HVS) is very efficient and robust in identifying and grabbing objects, in part because of its properties of visual attention, contrast mechanism, feature binding, multiresolution and part-based representation. In addition, the HVS combines bottom-up and top-down information effectively using combined model representation. We propose a method for integrating these aspects under a Monte Carlo method. In this scheme, object recognition is regarded as a parameter optimization problem. The bottom-up process initializes parameters, and the top-down process optimizes them. Experimental results show that the proposed recognition model is feasible for 3D object identification and pose estimation.


2016 ◽  
Vol 16 (4) ◽  
pp. 1223-1251 ◽  
Author(s):  
Ferruccio Damiani ◽  
David Faitelson ◽  
Christoph Gladisch ◽  
Shmuel Tyszberowicz

Sign in / Sign up

Export Citation Format

Share Document