12459 search results - page 299 / 2492 » cans 2006 |
167
click to vote
CUZA
2002
15 years 6 months ago
2002
The fast expansion of Grid technologies emphasizes the importance of network performance measurement. Some network measurement methods, like TCP throughput or latency evaluation, a...
143
click to vote
EXPERT
2000
15 years 6 months ago
2000
The field of robotics moves so quickly and encompasses such a wide range of disciplines and applications that education in robotics must be adaptive and incorporate a multidiscipl...
187
Voted
FMSD
2000
15 years 6 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
158
click to vote
IEEEMM
2000
15 years 6 months ago
2000
With the establishment of multi-media, web-based learning environments and virtual worlds projected in 3D, new opportunities have been created that can be used to excite public in...
159
click to vote
IJCV
2000
15 years 6 months ago
2000
An overview is given of a novel vision system for locating, recognising and tracking multiple vehicles, using a single monocular camera mounted on a moving vehicle1 . 3D model-bas...