Sciweavers

7 search results - page 1 / 2
» Some Positive Results for Boundedness of Multiple Recursive ...
Sort
View
ICDT
1995
ACM
91views Database» more  ICDT 1995»
13 years 9 months ago
Some Positive Results for Boundedness of Multiple Recursive Rules
Following results are sketched in this extended abstract: (1) Datalog recursive programs where each rule has at most one subgoal called unit recursions are shown to be bounded, wit...
Ke Wang
CDC
2010
IEEE
196views Control Systems» more  CDC 2010»
13 years 15 days ago
Convergence and convergence rate of stochastic gradient search in the case of multiple and non-isolated extrema
The asymptotic behavior of stochastic gradient algorithms is studied. Relying on some results of differential geometry (Lojasiewicz gradient inequality), the almost sure pointconve...
Vladislav B. Tadic
ICASSP
2010
IEEE
13 years 5 months ago
Alpha-integration of multiple evidence
In pattern recognition, data integration is a processing method to combine multiple sources so that the combined result can be more accurate than a single source. Evidence theory ...
Heeyoul Choi, Anup Katake, Seungjin Choi, Yoonsuck...
AAAI
1996
13 years 6 months ago
Learning to Take Actions
We formalize a model for supervised learning of action strategies in dynamic stochastic domains and show that PAC-learning results on Occam algorithms hold in this model as well. W...
Roni Khardon
PERVASIVE
2006
Springer
13 years 5 months ago
Scalability in a Secure Distributed Proof System
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
Kazuhiro Minami, David Kotz