4305 search results - page 479 / 861 » The Test of Time |
198
click to vote
SPLST
2003
15 years 8 months ago
2003
To date, there are surprisingly few collaborative applications that exploit the accessibility of the Internet. The main reason behind this is that it is rather difficult and time c...
191
click to vote
CAIVD
1998
15 years 8 months ago
1998
Digital video is rapidly becoming important for education, entertainment, and a host of multimedia applications. With the size of the video collections growing to thousands of hou...
179
click to vote
WSCG
2003
15 years 8 months ago
2003
Modelling Large Urban Environments using traditional modelling techniques would prove too time consuming a process. Consequently a method is required for generating large urban en...
146
click to vote
WSC
2000
15 years 8 months ago
2000
This paper presents a logistic algorithm that improves traffic conditions in a network-like automated material handling system (AMHS). The algorithm uses a lookahead procedure and...
188
click to vote
PSTV
1993
15 years 8 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...