2664 search results - page 117 / 533 » Theory of processes |
123
Voted
CADE
1990
Springer
15 years 4 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
97
Voted
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
Few people use the probability theory in order to achieve image segmentation with snake models. In this article1 , we are presenting an active contour algorithm based on a probabi...
98
Voted
ICA
2010
Springer
14 years 11 months ago
2010
Springer
One potential strength of recurrent neural networks (RNNs) is their – theoretical – ability to find a connection between cause and consequence in time series in an constraint-...
89
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we present a coordination approach towards creating and maintaining alignment between the business and its support systems. The business objectives are related to the...
113
click to vote
AGI
2008
15 years 2 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...