We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
: Developing a speech-based application for mobile devices requires work upfront, since mobile devices and speech recognition systems vary dramatically in their capabilities. While...
Werner Kurschl, Stefan Mitsch, Rene Prokop, Johann...
Demand responsive transport services are systems that assign users’ specific transport requests to different vehicles enabled to fulfill the required service. In order to contai...
The Supply Chain Integrated Ordering Network (SCION) Depot Bookings system automates the planning and scheduling of perishable and non-perishable commodities and the vehicles that...
John Rowe, Keith Jewers, Andrew Codd, Andrew Alcoc...
CSIM is a simulation model-building toolkit that is used by C/C++ programmers to implement processoriented, discrete-event simulation models. These models mimic the operation of c...