The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
This paper deals with minimum time trajectory optimization along a specified path subject to thermal constraints. We point out here that robots are often integrated in complex rob...
Matthieu Guilbert, Luc D. Joly, Pierre-Brice Wiebe...
Illustrative rendering is a widely used visualization technique to display conceptual information, describe problems and give insight to solve them efficiently in science, engine...
Jingshu Huang, Brian Bue, Avin Pattath, David S. E...
A number of anthropologists have argued that religious concepts are minimally counterintuitive and that this gives them mnemic advantages. This paper addresses the question of why...
M. Afzal Upala, Lauren O. Gonce, Ryan D. Tweney, D...
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...