2646 search results - page 189 / 530 » Local Type Inference |
176
click to vote
EJC
2006
15 years 8 months ago
2006
With development of knowledge bases (KB) there appeared expert systems that use KBs to support them in decision making process. Decision Support Systems, that are the subject of th...
168
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
160
click to vote
UAI
1994
15 years 7 months ago
1994
Heckerman (1993) defined causal independence in terms of a set of temporal conditional independence statements. These statements formalized certain types of causal interaction whe...
185
click to vote
CSDA
2008
15 years 6 months ago
2008
In this paper we present the results of a simulation study to explore the ability of Bayesian parametric and nonparametric models to provide an adequate fit to count data, of the t...
155
click to vote
SLOGICA
2008
15 years 6 months ago
2008
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical a...