Abstract: Concepts and technologies are described herein providing technologies for mining patterns in temporal data streams. Data is broken into data sub-portions. Dependencies in computation between one or more of the data sub-portions are broken using symbolic data types. Symbolic summaries of computations of sub-portions are performed in parallel and are reduced to generate an output.

Abstract: Concepts and technologies are described herein providing technologies for mining patterns in temporal data streams. Data is broken into data sub-portions. Dependencies in computation between one or more of the data sub-portions are broken using symbolic data types. Symbolic summaries of computations of sub-portions are performed in parallel and are reduced to generate an output.

Abstract: Systems, methods, and machine-readable media for refining mapping data are provided. One or more candidate routes may be identified based on input location coordinates of a mobile device. The one or more candidate routes may be compared to previously stored mapping data, and based on the comparison, a route score for each candidate route may be calculated. Based on the route score, a route most likely traveled by the mobile device based on the input location coordinates may be selected. The candidate route most likely traveled by the mobile device user may be analyzed to determine whether it contains a transition segment between one location coordinate and the next location coordinate in the input location coordinates that is not along a existing path known to the previously stored mapping data. The transition segment which is not part of the previously stored mapping data may be identified as a missing path of the previously stored mapping data.

Abstract: Systems, methods, and machine-readable media for refining mapping data are provided. One or more candidate routes may be identified based on input location coordinates of a mobile device. The one or more candidate routes may be compared to previously stored mapping data, and based on the comparison, a route score for each candidate route may be calculated. Based on the route score, a route most likely traveled by the mobile device based on the input location coordinates may be selected. The candidate route most likely traveled by the mobile device user may be analyzed to determine whether it contains a transition segment between one location coordinate and the next location coordinate in the input location coordinates that is not along a existing path known to the previously stored mapping data. The transition segment which is not part of the previously stored mapping data may be identified as a missing path of the previously stored mapping data.

Abstract: The subject matter of this specification can be implemented in, among other things, a method that includes receiving information identifying a start point and an end point in a transit system. The method further includes identifying transit routes between the start point and the end point. Each of the transit routes has one or more portions and each of the portions has one or more modes of transportation. The method further includes calculating a duration for each transit route in the transit routes. The duration is based on average amounts of time spent riding the modes of transportation in the portions of the transit route. The duration is based on a representation of an amount of time spent waiting for the modes of transportation in the portions of the transit route. The method further includes identifying one or more of the transit routes as optimal based on having shortest durations.

Abstract: A public transit travel planning system and methodology that uses an extensive pre-processing approach of transit information prior to query time on order to determine optimal public transit routes for journeys. At query time, since the transit information has already been processed by the system, very little computation is needed in order to fulfill the query. The system then provides users with public transit directions in response to the queries for public transit journeys.

Abstract: A public transit travel planning system and methodology that uses an extensive pre-processing approach of transit information prior to query time on order to determine optimal public transit routes for journeys. At query time, since the transit information has already been processed by the system, very little computation is needed in order to fulfill the query. The system then provides users with public transit directions in response to the queries for public transit journeys.

Abstract: A public transit travel planning system and methodology that uses an extensive pre-processing approach of transit information prior to query time on order to determine optimal public transit routes for journeys. At query time, since the transit information has already been processed by the system, very little computation is needed in order to fulfill the query. The system then provides users with public transit directions in response to the queries for public transit journeys.

Abstract: Configurations are disclosed for providing diversity in transit routes to determine optimal public transit routes for journeys or trips between a source station and a target station. The subject technology performs a forward and backward search of a generated query graph (based on a query between the source and target stations). An arrival label set is determined according to a specified queue order and domination function that takes into account different criteria, such as a duration time and an associated penalty of a label. The arrival label set is then filtered to remove dominated labels. The subject technology then determines one or more optimal paths from the source station to the target station based on the filtered label set.

Abstract: A public transit travel planning system and methodology that uses an extensive pre-processing approach of transit information prior to query time on order to determine optimal public transit routes for journeys. At query time, since the transit information has already been processed by the system, very little computation is needed in order to fulfill the query. The system then provides users with public transit directions in response to the queries for public transit journeys.

Abstract: A public transit travel planning system and methodology that uses an extensive pre-processing approach of transit information prior to query time on order to determine optimal public transit routes for journeys. At query time, since the transit information has already been processed by the system, very little computation is needed in order to fulfill the query. The system then provides users with public transit directions in response to the queries for public transit journeys.