443 search results - page 45 / 89 » Partial Probability: Theory and Applications |
KDD
2009
ACM
15 years 5 months ago
2009
ACM
As the number and size of large timestamped collections (e.g. sequences of digitized newspapers, periodicals, blogs) increase, the problem of efficiently indexing and searching su...
84
Voted
KBSE
1997
IEEE
15 years 3 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
BC
2007
14 years 11 months ago
2007
We present a new approach of explaining partial causality in multivariate fMRI time series by a state space model. A given single time series can be divided into two noise-driven ...
RC
2002
14 years 10 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
ICDM
2009
IEEE
14 years 8 months ago
2009
IEEE
Efficient acquisition of constraint networks is a key factor for the applicability of constraint problem solving methods. Current techniques ease knowledge acquisition by generati...