Sciweavers

15254 search results - page 223 / 3051
» A k
Sort
View
ICINCO
2007
80views Robotics» more  ICINCO 2007»
15 years 8 months ago
Formal verification of safety behaviours of the outdoor robot ravon
Martin Proetzsch, Karsten Berns, T. Schuele, K. Sc...
SEDE
2008
15 years 8 months ago
A Novel Architecture for Mobile Distributed Trie Hashing System
Amel Bennaceur, Djamel Eddine Zegour, W. K. Hidouc...
PARCO
2007
15 years 8 months ago
Parallel Exact Inference
Yinglong Xia, Viktor K. Prasanna