6943 search results - page 894 / 1389 » Representations for evolutionary algorithms |
218
click to vote
GBRPR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Motion capture, a currently active research area, needs estimation of the pose of the subject. This requires a match between a model and the 3D shape, constructed using a...
205
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
175
click to vote
ACISICIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Temporal representation and reasoning plays an important role in Data Mining and Knowledge Discovery, particularly, in mining and recognizing patterns with rich temporal informati...
156
click to vote
AIPS
2010
15 years 9 months ago
2010
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...
205
click to vote
AAAI
2008
15 years 9 months ago
2008
Matrix factorization algorithms are frequently used in the machine learning community to find low dimensional representations of data. We introduce a novel generative Bayesian pro...