2702 search results - page 310 / 541 » Practically Applicable Formal Methods |
214
click to vote
NIPS
2008
15 years 8 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...
160
click to vote
IMAGING
2003
15 years 8 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...
191
click to vote
ICCV
2009
IEEE
15 years 4 months 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...
178
click to vote
CAV
2007
Springer
16 years 22 days 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...
155
click to vote
ACMACE
2005
ACM
16 years 3 days 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...