441 search results - page 60 / 89 » A Method for Proving Observational Equivalence |
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
On-line action recognition from a continuous stream of actions is still an open problem with fewer solutions proposed compared to time-segmented action recognition. The most chall...
ICML
2005
IEEE
14 years 9 months ago
2005
IEEE
We prove a quantitative connection between the expected sum of rewards of a policy and binary classification performance on created subproblems. This connection holds without any ...
PODC
2009
ACM
14 years 9 months ago
2009
ACM
In 2004, Klavins et al. introduced the use of graph grammars to describe--and to program--systems of self-assembly. It turns out that these graph grammars can be embedded in a gra...
SCIA
2007
Springer
14 years 3 months ago
2007
Springer
In the area of quality control by vision, the reconstruction of 3D curves is a convenient tool to detect and quantify possible anomalies. Whereas other methods exist that allow us ...
ADMA
2006
Springer
14 years 2 months ago
2006
Springer
Gene Expression Programming (GEP) aims at discovering essential rules hidden in observed data and expressing them mathematically. GEP has been proved to be a powerful tool for cons...