1280 search results - page 70 / 256 » Soft Typing with Conditional Types |
HCI
2009
13 years 6 months ago
2009
This paper introduces the harmonized accessibility methodology (HAM) that has been defined and deployed in the context of the ACCESSIBLE project. HAM is aimed to harmonize existing...
JMIV
2010
13 years 3 months ago
2010
Recent work on geometric vision problems has exploited convexity properties in order to obtain globally optimal solutions. In this paper we give an overview of these developments a...
SIAMJO
2010
13 years 3 months ago
2010
In this paper, a primal dual method for general possible nonconvex nonlinear optimization problems is considered. The method is an exterior point type method which means that it p...
CICLING
2009
Springer
14 years 9 months ago
2009
Springer
This paper presents a method for improving phrase-based Statistical Machine Translation systems by enriching the original translation model with information derived from a multilin...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
Many successful models for scene or object recognition transform low-level descriptors (such as Gabor filter responses, or SIFT descriptors) into richer representations of interme...