8 papers:
KDD-2015-QianCMSL #named #recommendation- SCRAM: A Sharing Considered Route Assignment Mechanism for Fair Taxi Route Recommendations (SQ, JC, FLM, IS, ML), pp. 955–964.
KDD-2014-QuZLLX #effectiveness #recommendation- A cost-effective recommender system for taxi drivers (MQ, HZ, JL, GL, HX), pp. 45–54.
KDD-2011-GeLXC- A taxi business intelligence system (YG, CL, HX, JC), pp. 735–738.
ICST-2009-BartoliniBMP #named #testing #web #web service- WS-TAXI: A WSDL-based Testing Tool for Web Services (CB, AB, EM, AP), pp. 326–335.
CASE-2007-SeowDL #automation #multi #towards- Towards An Automated Multiagent Taxi-Dispatch System (KTS, NHD, DHL), pp. 1045–1050.
CAV-2001-ClossePPSVWY #development #embedded #named #realtime #verification- TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems (EC, MP, JP, JS, PV, DW, SY), pp. 391–395.
SIGMOD-1987-NixonCLBMS #case study #compilation #experience #implementation #semantics- Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis (BAN, LC, DL, AB, JM, MS), pp. 118–131.
VLDB-1980-MylopoulosW- Some Features of the TAXIS Data Model (JM, HKTW), pp. 399–410.