906 search results - page 105 / 182 » Role Transfer Problems and Algorithms |
TCAD
2008
14 years 9 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— We consider the problem of apprenticeship learning when the expert’s demonstration covers only a small part of a large state space. Inverse Reinforcement Learning (IR...
KDD
2002
ACM
15 years 10 months ago
2002
ACM
In this paper we investigate the general problem of discovering recurrent patterns that are embedded in categorical sequences. An important real-world problem of this nature is mo...
140
click to vote
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
We define a match join of R and S with predicate to be a subset of the -join of R and S such that each tuple of R and S contributes to at most one result tuple. Match joins and t...
CVPR
2004
IEEE
15 years 11 months ago
2004
IEEE
Object classification in far-field video sequences is a challenging problem because of low resolution imagery and projective image distortion. Most existing far-field classificati...