Sciweavers

2827 search results - page 331 / 566
» CCured in the real world
Sort
View
AAAI
2012
13 years 9 months ago
Strategic Advice Provision in Repeated Human-Agent Interactions
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claud...
ICSE
2012
IEEE-ACM
13 years 9 months ago
Characterizing logging practices in open-source software
—Software logging is a conventional programming practice. While its efficacy is often important for users and developers to understand what have happened in the production run, ...
Ding Yuan, Soyeon Park, Yuanyuan Zhou
CVPR
1996
IEEE
16 years 8 months ago
A Stereo Machine for Video-Rate Dense Depth Mapping and Its New Applications
We have developed a video-rate stereo machine that has the capability of generating a dense depth map at the video rate. The performance bench marks of the CMU video-rate stereo m...
Takeo Kanade, Atsushi Yoshida, Kazuo Oda, Hiroshi ...
CVPR
2008
IEEE
16 years 8 months ago
Distributed data association and filtering for multiple target tracking
This paper presents a novel distributed framework for multi-target tracking with an efficient data association computation. A decentralized representation of trackers' motion...
Ting Yu, Ying Wu, Nils Krahnstoever, Peter H. Tu
ICIP
2003
IEEE
16 years 8 months ago
Navigating in Manhattan: 3D orientation from video without correspondences
The problem of inferring 3D orientation of a camera from video sequences has been mostly addressed by first computing correspondences of image features. This intermediate step is ...
André F. T. Martins, Mário A. T. Fig...