2014 search results - page 101 / 403 » Intelligent Transportation System (ITS) |
ITS
1992
Springer
14 years 2 months ago
1992
Springer
One aim of intelligent tutoring systems is to tailor lessons to each individual student's needs. To do this a tutoring system requires a model of the student's knowledge...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
We developed and tested a website and public display to connect and sustain carpoolers in the workplace. We arrived at this design through study of traffic congestion and its caus...
IJCOMSYS
2007
13 years 10 months ago
2007
TCP is the most widely used transport protocol on the Internet today. Over the years, especially recently, due to requirements of high bandwidth transmission, various approaches h...
DFG
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
EDCC
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...