: This paper proposes the framework of the scenario-based 3D image synthesizing system that allows common users who envision a scenario in their mind to realize it into the segment...
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
This paper presents a high level view of a project which aims at improving the communication between people who do not share the same language by using a 3D animation upper layer t...
This paper proposes the use of animal flocks to naturally provide spatial clues in adventure video-games. This approach complements the so far proposed mechanisms to support naviga...
We consider the problem of monitoring and controlling the position of herd animals, and view animals as agents with natural mobility but not strictly controllable. By exploiting k...
Zack J. Butler, Peter I. Corke, Ronald A. Peterson...