We present a data definition framework that enables the convenient specification of data types in ACL2s, the ACL2 Sedan. Our primary motivation for developing the data definition framework was pedagogical. We were teaching undergraduate students how to reason about programs using ACL2s and wanted to provide them with an effective method for defining, testing, and reasoning about data types in t...

We present the optimization component of a decision support system developed for a sedan service provider. The system assists supervisors and dispatchers in scheduling driver shifts and routing the fleet throughout the day to satisfy customer demands within tight time windows. We periodically take a snapshot of the dynamic data and formulate an integer program, which we solve to near-optimality...

This paper describes a new technique for object recognition based on learning appearance models. The image is decomposed into local regions which are described by a new texture representation derived from the output of multiscale, multiorientation filter banks. We call this representation “Generalized Second Moments” as it can be viewed as a generalization of the windowed second moment matrix r...

This paper describes a new technique for object recognition based on learning appearance models. The image is decomposed into local regions which are described by a new texture representation called “Generalized Second Moments” that are derived from the output of multiscale, multiorientation filter banks. Class-characteristic local texture features and their global composition is learned by a h...

Revenue management (RM) enhances the revenues of a company by means of demand-management decisions. An RM system must take into account the possibility that a booking may be canceled, or that a booked customer may fail to show up at the time of service (no-show). We review the Passenger Name Record data mining based cancellation rate forecasting models proposed in the literature, which mainly a...

A horizontal curve’s geometric design is considered an important factor in highway accidents, and simple spiral curves are regarded as the most common types of curves. Various factors affect safety curves, one which side friction Therefore, this study, was investigated for E-class sedan, SUV, two-axle conventional truck based on factor. In regard, CarSim TruckSim vehicle dynamic simulation soft...

BACKGROUND AND PURPOSE The SEDAN score is a prediction rule for assessment of the risk of symptomatic intracerebral hemorrhage (SICH) per the European Cooperative Acute Stroke Study (ECASS) II definition in patients with acute ischemic stroke treated with intravenous thrombolysis. We assessed the performance of the score in predicting SICH per the ECASS II and Safe Implementation of Treatments ...

Developed by General Motors (GM), the Auto Choice Advisor web site (http://www.auto choiceadvisor.com) recommends vehicles to consumers based on their requirements and budget constraints. Through the web site, GM has access to large quantities of data that reflect consumer preferences. Motivated by the availability of such data, we formulate a non-parametric approach to multi-product pricing. W...

Private vehicles are high dominant mode of transport in Salem, India, since there is no any commuter personal exposure information on air pollution. This the first pollutant study different private across Salem city. In this study, critical fine particulate matter, PM2.5, was measured. addition, accumulation CO2, concentration also assessed closed vehicles. The measured were motorcycle, auto ri...