4000 search results - page 415 / 800 » Simulation down under |
141
click to vote
AIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
197
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Recent years have seen an increasing interest in end-to-end available bandwidth estimation. A number of estimation techniques and tools have been developed during the last few year...
153
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we report preliminary findings of using cellular automata (CA) as an underlying architecture in controlling the motion of a fivelegged brittle star typed ro...
192
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
191
click to vote
ECCV
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper, we show that it is possible to calibrate a camera using just a flat, textureless Lambertian surface and constant illumination. This is done using the effec...