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.