نتایج جستجو برای: sequential exploration approach1

تعداد نتایج: 169739  

2016
Lamia Allal Ghalem Belalem Philippe Dhaussy Ciprian Teodorov

In this article, we are interested in the exploration part of model checking which consists in traversing all the possible states of a system. We propose two approaches to exploration, parallel and sequential. We present a comparison between our parallel approach and the parallel algorithm proposed in SPIN.

Journal: :Journal of Ambient Intelligence and Smart Environments 2017

2011
Joseph Colin

The use of wavefront-guided algorithms for treatment has increased over the past decade with estimates that up to 50 percent of all laser in situ keratomileusis (LASIK) procedures are now performed with this approach1. Although originally intended to correct higher order aberrations, the use of wavefront-guided algorithms, particularly those with iris-registration and tracking, have been shown ...

Journal: :Cognition 2015
S A Verschoor M Paulus M Spapé S Biro B Hommel

Nine-month-olds start to perform sequential actions. Yet, it remains largely unknown how they acquire and control such actions. We studied infants' sequential-action control by employing a novel gaze-contingent eye tracking paradigm. Infants experienced occulo-motor action sequences comprising two elementary actions. To contrast chaining, concurrent and integrated models of sequential-action co...

Journal: :IEEE Transactions on Robotics 2022

Safe deployment of autonomous robots in diverse scenarios requires agents that are capable efficiently adapting to new environments while satisfying constraints. In this article, we propose a practical and theoretically justified approach maintain safety the presence dynamics uncertainty. Our leverages Bayesian meta-learning with last-layer adaptation. The expressiveness neural-network features...

2016
Thomas Frank Rückstieß

Despite continuous advances in computing technology, today’s brute force data processing approaches may not provide the necessary advantage to win the race against the ever-growing amount of data that can be witnessed over the last decades. In this thesis, we discuss novel methods and algorithms that are capable of directing attention to relevant details and analysing it in sequence to overcome...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید