3387 search results - page 435 / 678 » Model-Checking for Real-Time Systems |
170
click to vote
ECBS
2006
IEEE
15 years 9 months ago
2006
IEEE
With the wireless communication network and location data, the existing telematics system provides various information services such as navigation, emergency service, and etc. In ...
190
click to vote
MVA
2000
15 years 8 months ago
2000
This paper describes a vision-based system for autonomous urban transport missions in outdoor environments. Specialized modules are implemented for particular tasks such as lane t...
187
click to vote
WCE
2007
15 years 8 months ago
2007
The focus of this paper is the problem of recursive estimation for uncertain multisensor linear discrete-time systems. We herein propose a new suboptimal filtering algorithm. The b...
192
click to vote
JCIT
2008
15 years 7 months ago
2008
In this paper we propose methods to utilize Artificial Neural Networks to obtain knowledge for the management of educational resources. The final evaluations provide us a model th...
225
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
The proliferation of cell phones has led to an ever increasing number of inappropriate interruptions. SmartContacts provides a solution to this problem by empowering the caller to...