The latest Internet phenomenon is Twitter, a micro-blogging platform that in just a few years has attracted millions of users. With short messages (tweets), following and follower...
Maria Claudia Buzzi, Marina Buzzi, Barbara Leporin...
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
: We developed a steerable interface system that can direct graphical displays to any desirable locations, can capture interactions at any desirable locations, and can track user l...
Piyawadee Noi Sukaviriya, Mark Podlaseck, Rick Kje...
Motion constraints providing guidance for 3D navigation have recently been suggested as a way of offloading some of the cognitive effort of traversing complex 3D environments on a...
Niklas Elmqvist, Mihail Eduard Tudoreanu, Philippa...
The molecular docking problem is to determine how molecules interact with other molecules and plays a key role in understanding how cells function. DockingShop is an integrated en...