10159 search results - page 1710 / 2032 » System Design Validation Using Formal Models |
195
click to vote
HYBRID
2010
Springer
15 years 12 months ago
2010
Springer
This paper addresses the problem of self localization of mobile devices. In particular, each device combines noisy measurements of its absolute position with distance measurements...
153
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this work we derive steady-state cornering conditions for a single-track vehicle model without restricting the operation of the tires to their linear region (i.e. allowing t...
187
Voted
ITS
1998
Springer
15 years 11 months ago
1998
Springer
TRANSoM is a collaborative effort among university and industry researchers aimed at producing an intelligent tutoring system for training pilots of remotely operated vehicles (ROV...
142
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
197
click to vote
AAAI
2012
13 years 9 months ago
2012
General Game Playing is the design of AI systems able to understand the rules of new games and to use such descriptions to play those games effectively. Games with imperfect infor...