AIIA
2015
Springer
9 years 12 months ago
2015
Springer
Abstract. Scheduling and dispatching tools for High-Performance Computing (HPC) machines have the role of mapping incoming jobs to the available resources, trying to maximize equip...
AIIA
2015
Springer
9 years 12 months ago
2015
Springer
The Digital Libraries community has shown over the last years a growing interest in Semantic Search technologies. Content analysis and annotation is a vital task, but for large cor...
AIIA
2015
Springer
9 years 12 months ago
2015
Springer
We present a multimodal interaction framework that allows a human operator to interact with co-located drones during search and rescue missions. In contrast with usual human-multid...
AIIA
2015
Springer
9 years 12 months ago
2015
Springer
This study explores the rapidly expanding Collaborative Robot market and the recent literature in social robotics. An attempt is made to interpret both resources to define macro-pa...
AIIA
2015
Springer
9 years 12 months ago
2015
Springer
Abstract. We describe DysToPic, a theorem prover for the preferential Description Logic ALC + Tmin.This is a nonmonotonic extension of standard ALC based on a typicality operator T...