12981 search results - page 2226 / 2597 » Model Checking (Abstract) |
128
click to vote
IJCNN
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper introduces a novel design of an artificial neural network tailored for wafer-scale integration. The presented VLSI implementation includes continuous-time a...
146
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— We present as a contribution to the field of humanmachine interaction a system that analyzes human movements online through multiple observers, based on the concept of...
152
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Many planning approaches adhere to the twotiered architecture consisting of a long-range, low fidelity global planner and a short-range high fidelity local planner. W...
118
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Knowledge of the driving environment is essential for robotic vehicles to comply with traffic rules while autonomously traversing intersections. However, due to limite...
114
click to vote
ISPW
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Organizations are increasingly moving to the global software development (GSD) model because of significant benefits that can accrue. However, GSD is fraught with difficu...