136 search results - page 3 / 28 » Incremental Natural Actor-Critic Algorithms |
85
Voted
DASFAA
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract. Graph-structured databases have numerous recent applications including the Semantic Web, biological databases and XML, among many others. In this paper, we study the main...
58
Voted
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— A new generation of inexpensive robotic pan-tilt cameras can maintain high-resolution panoramic displays of natural environments. However, the pan-tilt mechanisms are imprecise...
CAV
2012
Springer
12 years 12 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
99
Voted
TSMC
2008
14 years 9 months ago
2008
Abstract--Dimensionality reduction methods have been successfully employed for face recognition. Among the various dimensionality reduction algorithms, linear (Fisher) discriminant...
PODS
2005
ACM
15 years 3 months ago
2005
ACM
The full disjunction is a variation of the join operator that maximally combines tuples from connected relations, while preserving all information in the relations. The full disju...