Advances in automotive industry as well computing technology are making autonomous vehicle (AV) an appealing means of transportation. Vehicles beyond the traditional source commute, and leveled up to smart devices with capability. As one compelling features AVs, valet parking (AVP) allows for navigating car automatically without human interventions. Within this realm, long-range AVP (LAVP) exte...

An abductive framework is described for validating theories using a library of known or desired behaviour. Abduction is known to be NP-hard which suggests that this framework is impractical for anything other than small theories. The computational limits of the framework is therefore explored. We find that abductive validation is a practical tool for the KBS we see in contemporary practice.

TCP’s slow-start was designed to prevent hosts from sending more data into the network than it is capable of transmitting. A key component of slow-start is the initial congestion window or init_cwnd. Today, it is set to at most four segments or roughly 4KB of data. As a result, every short-lived TCP connection (henceforth “short flow”) suffers a performance hit when it comes to throughput (and ...