Sciweavers

3954 search results - page 63 / 791
» Image-based Model Completion
Sort
View
97
Voted
AAAI
2006
15 years 3 months ago
A Characterization of Interventional Distributions in Semi-Markovian Causal Models
We offer a complete characterization of the set of distributions that could be induced by local interventions on variables governed by a causal Bayesian network of unknown structu...
Jin Tian, Changsung Kang, Judea Pearl
KI
2004
Springer
15 years 7 months ago
Model Based Deduction for Database Schema Reasoning
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...
WSCG
2004
136views more  WSCG 2004»
15 years 3 months ago
Light Vectors for a Moving Observer
Interactive rendering is usually made with very simple illumination models. High quality rendering is too slow to be interactive. In this paper, we extend the notion of light vect...
Rodolphe Crespin, Bernard Péroche
JSYML
2002
66views more  JSYML 2002»
15 years 1 months ago
The Strict Order Property and Generic Automorphisms
If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.
Hirotaka Kikyo, Saharon Shelah
JANCL
2007
107views more  JANCL 2007»
15 years 1 months ago
Distributed knowledge
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
Floris Roelofsen