JIRS
2016
10 years 27 days ago
2016
JIRS
2016
10 years 27 days ago
2016
— The automatic part feeding is one of the most crucial task in modern assembly lines. Such a task consists in the separation of parts delivered in bulk and their presentation in...
JIRS
2016
10 years 27 days ago
2016
—We study the problem of optimally coordinating multiple fixed-wing UAVs to perform vision-based target tracking, which entails that the UAVs are tasked with gathering the best ...
JIRS
2016
10 years 27 days ago
2016
End-of-life disassembly has developed into a major research area within the sustainability paradigm, resulting in the emergence of several algorithms and structures proposing heuri...
JIP
2016
10 years 27 days ago
2016
: We design a concurrent separation logic for GPGPU, namely GPUCSL, and prove its soundness by using Coq. GPUCSL is based on a CSL proposed by Blom et al., which is for automatic v...