Sciweavers

7075 search results - page 115 / 1415
» Models and heterogeneous reasoning
Sort
View
UAI
1998
15 years 5 months ago
Axiomatizing Causal Reasoning
Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of...
Joseph Y. Halpern
126
Voted
IVC
2006
183views more  IVC 2006»
15 years 3 months ago
Augmented tracking with incomplete observation and probabilistic reasoning
An on-line algorithm for multi-object tracking is presented for monitoring a real-world scene from a single fixed camera. Potential objects are detected with adaptive backgrounds ...
Ming Xu, Tim Ellis
136
Voted
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
15 years 1 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
CVPR
2012
IEEE
13 years 6 months ago
Occlusion reasoning for object detection under arbitrary viewpoint
We present a unified occlusion model for object instance detection under arbitrary viewpoint. Whereas previous approaches primarily modeled local coherency of occlusions or attem...
Edward Hsiao, Martial Hebert
CAD
2007
Springer
15 years 3 months ago
A B-spline-based approach to heterogeneous objects design and analysis
The recent advancement of solid freeform fabrication, design techniques and fundamental understanding of material properties in functionally graded materials has made it possible ...
Pinghai Yang, Xiaoping Qian