10568 search results - page 1688 / 2114 » Computer Intelligence and Formalization |
191
click to vote
IDA
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We present a Bayesian treatment of non-negative matrix factorization (NMF), based on a normal likelihood and exponential priors, and derive an efficient Gibbs sampler to ...
142
click to vote
IWANN
2009
Springer
16 years 25 days ago
2009
Springer
Mobile agent technology has traditionally been recognized as a very useful approach to build applications for mobile computing and wireless environments. However, only a few studie...
186
click to vote
LOPSTR
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
148
click to vote
LPNMR
2009
Springer
16 years 25 days ago
2009
Springer
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
144
click to vote
LPNMR
2009
Springer
16 years 25 days ago
2009
Springer
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...