515 search results - page 17 / 103 » Towards a computational transportation science |
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...
SPIN
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
GI
2009
Springer
14 years 1 months ago
2009
Springer
: The use of public transport vehicles, such as trams, buses, and taxis as an advertising space is increasing since several years. However mainly the outside of the vehicles is use...
IJCINI
2007
13 years 8 months ago
2007
Autonomic computing (AC) is an intelligent computing approach that autonomously carries out robotic and interactive applications based on goal- and inference-driven mechanisms. Th...
FOCS
1998
IEEE
14 years 22 days ago
1998
IEEE
The speed of many computations is limited not by the number of arithmetic operations but by the time it takes to move and rearrange data in the increasingly complicated memory hie...