Searched for: subject%3A%22look%255C-ahead%22
(1 - 7 of 7)
document
Vos, J. (author), de Winter, J.C.F. (author), Farah, H. (author), Hagenzieker, Marjan (author)
Although much research is done on speed and gaze behaviour inside curves, there is little understanding of which cues drivers use to anticipate and slow down while approaching curves. Therefore, an on road experiment was conducted in which 31 participants drove through six freeway curves in their own car. During the experiment, look-ahead...
journal article 2023
document
de Pereira Julião, Luna (author)
Airspace’s increasing demand is a current concern without a solution. Different research projects aim to expand its available capacity by improving software performance, for example, concerning trajectory prediction and conflict detection methods. This research contributes to this goal by investigating the effect of different look-ahead time...
master thesis 2022
document
van Gurp, Niels (author)
Traffic signal controllers have been around since the late sixties of the 19th century and since then they have played an increasing role in (urban) traffic management. Over the years many different algorithms have been developed and in Dutch practice actuated control is mostly used. Actuated control and other similar approaches apply variable...
master thesis 2019
document
Heule, M.J.H. (author), Van Maaren, H. (author)
We introduce a new jump strategy for look-ahead based satisfiability (Sat) solvers that aims to boost their performance on satisfiable formulae, while maintaining their behavior on unsatisfiable instances. Direction heuristics select which Boolean value to assign to a decision variable. They are used in various state-of-the-art Sat solvers and...
journal article 2008
document
Heule, M.J.H. (author)
The satisfiability problem (Sat) lies at the core of the complexity theory. This is a decision problem: Not the solution itself, but whether or not a solution exists given a specified set of requirements is the central question. Over the years, the satisfiability problem has taken center stage as a means of effective representation to tackle...
doctoral thesis 2008
document
Van Katwijk, R.T. (author)
The objective of this thesis is to create a distributed, multi-agent, approach to traffic control. This PhD thesis' focus is on the control of a network instrumented by traffic signals.A thorough literature study has been performed, reviewing the current state of the art in traffic signal control. On the basis of this literature survey, a...
doctoral thesis 2008
document
Heule, M.J.H. (author), Van Maaren, H. (author)
We introduce the march dl satisability (SAT) solver, a successor of march eq. The latter was awarded state-of-the-art in two categories during the Sat 2004 competition. The focus lies on presenting those features that are new in march dl. Besides a description, each of these features is illustrated with some experimental results. By extending...
journal article 2006
Searched for: subject%3A%22look%255C-ahead%22
(1 - 7 of 7)