9626 search results - page 14 / 1926 » Invariant Based Programming |
EMMCVPR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Reverse-convex programming (RCP) concerns global optimization of a specific class of non-convex optimization problems. We show that a recently proposed model for sparse ...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
We propose textural features, which are invariant to illumination spectrum and extremely robust to illumination direction. They require only a single training image per texture an...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
JMLR
2012
12 years 3 days ago
2012
Often, high dimensional data lie close to a low-dimensional submanifold and it is of interest to understand the geometry of these submanifolds. The homology groups of a manifold a...
IEAAIE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...