1992 search results - page 221 / 399 » Model Based Testing with Labelled Transition Systems |
139
Voted
IBPRIA
2007
Springer
15 years 9 months ago
2007
Springer
This paper proposes a system to estimate the 3D position and velocity of vehicles, from images acquired with a monocular camera. Given image regions where vehicles are detected, Ga...
142
Voted
AWIC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...
121
Voted
FORTE
1997
15 years 5 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
120
Voted
AAAI
1993
15 years 5 months ago
1993
A novel approach to integrating case-based reasoning with model-based diagnosis is presented. The main idea is to use the model of the device and the results of diagnostic tests t...
130
Voted
IR
2010
15 years 2 months ago
2010
Abstract We present a new ranking algorithm that combines the strengths of two previous methods: boosted tree classification, and LambdaRank, which has been shown to be empiricall...