Search Results for "scientific"

G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.

...It is the most versatile open source solution of its kind today, with a rapidly growing user base of more than 10k users around the world in thousands of organizations. Based on more than ten years of solid scientific research within real world organizations, Agilefant's unique model scales from personal todo-lists to large-scale multi-team development and long-term product and portfolio management. Unlike other tools, Agilefant adapts to your existing team structure and assignments, and helps achieve true enterprise agility with the fraction of the cost and time needed to adopt cumbersome project management suites offered by competitors.

Melon's purpose is to simplify as much as possible the setup of interactive installation (art, cultural, commercial, etc) as much as possible. It broadcast in OSC 3D pointers. Each pointer can be attached to any of the bone of the skeleton. The interaction area defined for this pointer is attached to another bone of the skeleton, therefore the visitor is free to move in the space defined. Video tutorial: https://vimeo.com/73297050 Developped by http://www.numediart.org [!] >...

KinectA is an application for motion tracking via Kinect Sensor – including hand, skeleton and object tracking. This software has been developed for the needs of media artists and designers. It provides a clearly arranged interface with multiple functionalities. The tracked information can be send via OSC to other hard- and software. KinectA is available for Mac and Windows.