974 search results - page 37 / 195 » Optimal Causal Inference |
140
Voted
SAS
2001
Springer
15 years 8 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...
116
click to vote
HYBRID
2009
Springer
15 years 10 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 ...
102
Voted
SIGGRAPH
2010
ACM
15 years 8 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...
126
Voted
ICEIS
2000
IEEE
15 years 8 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...
117
click to vote
KR
1994
Springer
15 years 7 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...