Sciweavers

918 search results - page 131 / 184
» e-Procurement Using Goal Programming
Sort
View
IROS
2008
IEEE
164views Robotics» more  IROS 2008»
14 years 3 months ago
Deep sea underwater robotic exploration in the ice-covered Arctic ocean with AUVs
Abstract— The Arctic seafloor remains one of the last unexplored areas on Earth. Exploration of this unique environment using standard remotely operated oceanographic tools has ...
Clayton Kunz, Chris Murphy, Richard Camilli, Hanum...
ISMAR
2003
IEEE
14 years 2 months ago
DART: The Designer's Augmented Reality Toolkit
This demonstration will highlight the Designer’s Augmented Reality Toolkit (DART), a system that allows users to easily create augmented reality (AR) experiences. Over the past ...
Blair MacIntyre, Maribeth Gandy, Jay David Bolter,...
CASES
2007
ACM
14 years 27 days ago
Fragment cache management for dynamic binary translators in embedded systems with scratchpad
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...
José Baiocchi, Bruce R. Childers, Jack W. D...
CSE
2009
IEEE
14 years 25 days ago
Real Time Rectification for Stereo Correspondence
Duplicating the full dynamic capabilities of the human eye-brain combination is a difficult task but an important goal because of the wide application that a system which can acqu...
Khurram Jawed, John Morris, Tariq Khan, Georgy L. ...
CAV
2006
Springer
113views Hardware» more  CAV 2006»
14 years 19 days ago
Causal Atomicity
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
Azadeh Farzan, P. Madhusudan