974 search results - page 37 / 195 » Optimal Causal Inference |
SAS
2001
Springer
14 years 3 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
HYBRID
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
SIGGRAPH
2010
ACM
14 years 3 months ago
2010
ACM
How things work visualizations use a variety of visual techniques to depict the operation of complex mechanical assemblies. We present an automated approach for generating such vi...
ICEIS
2000
IEEE
14 years 3 months ago
2000
IEEE
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
KR
1994
Springer
14 years 2 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...