2477 search results - page 213 / 496 » Approximate extended formulations |
168
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
We consider the segmentation of a trajectory into piecewise polynomial parts, or possibly other forms. Segmentation is typically formulated as an optimization problem which trades...
160
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
We introduce a mixture of probabilistic canonical correlation analyzers model for analyzing local correlations, or more generally mutual statistical dependencies, in cooccurring d...
175
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
The problem of learning a transduction, that is a string-to-string mapping, is a common problem arising in natural language processing and computational biology. Previous methods ...
179
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
125
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
Microchip structures represent an attractive platform for microscale chemical processing of fluidic systems. However, standardized design methods for these devices have not yet b...