Skip to search formSkip to main contentSkip to account menu

Fastest

Fastest is a model-based testing tool that works with specifications written in the Z notation. The tool implements () the Test Template Framework… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
We present YOLO, a new approach to object detection. Prior work on object detection repurposes classifiers to perform detection… 
Highly Cited
2011
Highly Cited
2011
This paper analyzes a Question & Answer site for programmers, Stack Overflow, that dramatically improves on the utility and… 
Highly Cited
2010
Highly Cited
2010
We demonstrate a multiscale pedestrian detector operating in near real time ( 6 fps on 640x480 images) with state-of-the-art… 
Highly Cited
2010
Highly Cited
2010
We present the mechanism and the extent of increase in the oxygen anion diffusivity in Y2O3 stabilized ZrO2 (YSZ) under biaxial… 
Highly Cited
2007
Highly Cited
2007
Efficient fastest path computation in the presence of varying speed conditions on a large scale road network is an essential… 
Highly Cited
2004
Highly Cited
2004
We consider a symmetric random walk on a connected graph, where each edge is labeled with the probability of transition between… 
Highly Cited
2003
Highly Cited
2003
New technologies and the deployment of mobile and nomadic services are driving the emergence of complex communications networks… 
Highly Cited
2001
Highly Cited
2001
The Strength Pareto Evolutionary Algorithm (SPEA) (Zitzler and Thiele 1999) is a relatively recent technique for finding or… 
Highly Cited
1993
Highly Cited
1993
We consider the problem of individual route guidance in an Intelligent Vehicle-Highway Systems (IVHS ) environment, based on time… 
Highly Cited
1986
Highly Cited
1986
  • R. Hall
  • Transp. Sci.
  • 1986
  • Corpus ID: 207246327
This paper introduces the problem of finding the least expected travel time path between two nodes in a network with travel times…