2702 search results - page 310 / 541 » Practically Applicable Formal Methods |
148
Voted
NIPS
2008
15 years 4 months ago
2008
Metric learning algorithms can provide useful distance functions for a variety of domains, and recent work has shown good accuracy for problems where the learner can access all di...
117
Voted
IMAGING
2003
15 years 4 months ago
2003
In this paper we propose a new device and illumination invariant image representation based on an existing greyscale image enhancement technique: histogram equalisation. Our metho...
140
Voted
ICCV
2009
IEEE
15 years 15 days ago
2009
IEEE
This paper investigates a new learning formulation called dynamic group sparsity. It is a natural extension of the standard sparsity concept in compressive sensing, and is motivat...
132
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
106
click to vote
ACMACE
2005
ACM
15 years 8 months ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...