559 search results - page 86 / 112 » Dependency Inference |
TPHOL
1994
IEEE
14 years 24 days ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
ACCV
2007
Springer
14 years 22 days ago
2007
Springer
In this paper, a novel statistical framework is proposed for shot segmentation and classification. The proposed framework segments and classifies shots simultaneously using same di...
CVPR
2009
IEEE
14 years 18 days ago
2009
IEEE
Fusion of 3D laser radar (LIDAR) imagery and aerial optical imagery is an efficient method for constructing 3D virtual reality models. One difficult aspect of creating such models...
GROUP
2007
ACM
14 years 17 days ago
2007
ACM
Employees depend on other people in the enterprise for rapid access to important information. But current systems for finding experts do not adequately address the social implicat...
ATAL
2006
Springer
14 years 13 days ago
2006
Springer
This paper presents a statistical learning approach to predicting people's bidding behavior in negotiation. Our study consists of multiple 2-player negotiation scenarios wher...