Sciweavers

1137 search results - page 172 / 228
» Objective Functions for Feature Discrimination
Sort
View
CP
2006
Springer
15 years 6 months ago
Differentiable Invariants
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...
Pascal Van Hentenryck, Laurent Michel
CGF
2008
113views more  CGF 2008»
15 years 3 months ago
Surface sampling and the intrinsic Voronoi diagram
We develop adaptive sampling criteria which guarantee a topologically faithful mesh and demonstrate an improvement and simplification over earlier results, albeit restricted to 2D...
Ramsay Dyer, Hao Zhang 0002, Torsten Möller
CG
2010
Springer
15 years 26 days ago
Rook Jumping Maze Design Considerations
We define the Rook Jumping Maze, provide historical perspective, and describe a generation method for such mazes. When applying stochastic local search algorithms to maze design, m...
Todd W. Neller, Adrian Fisher, Munyaradzi T. Choga...
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 6 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
CVPR
2010
IEEE
15 years 26 days ago
Visual classification with multi-task joint sparse representation
We address the problem of computing joint sparse representation of visual signal across multiple kernel-based representations. Such a problem arises naturally in supervised visual...
Xiaotong Yuan, Shuicheng Yan