1726 search results - page 183 / 346 » Traits: Tools and Methodology |
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
— We describe a general methodology for tracking 3-dimensional objects in monocular and stereo video that makes use of GPU-accelerated filtering and rendering in combination wit...
IPPS
2009
IEEE
14 years 5 months ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
IROS
2009
IEEE
14 years 5 months ago
2009
IEEE
— The reported work advances the state-of-the-art in assistive technology for the blind by enhancing a low-cost automated tutor designed to teach braille writing skills to visual...
TPHOL
2009
IEEE
14 years 5 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
CSCWD
2009
Springer
14 years 5 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...