292 search results - page 48 / 59 » Proving Consistency of Pure Methods and Model Fields |
AVSS
2008
IEEE
14 years 11 months ago
2008
IEEE
Super-resolution (SR) of facial images from video suffers from facial expression changes. Most of the existing SR algorithms for facial images make an unrealistic assumption that ...
120
Voted
CIKM
2009
Springer
14 years 10 months ago
2009
Springer
Desktop search is an important part of personal information management (PIM). However, research in this area has been limited by the lack of shareable test collections, making cum...
BCSHCI
2007
14 years 11 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
98
Voted
ISIPTA
2003
IEEE
15 years 2 months ago
2003
IEEE
We adopt the same mathematical model of a set M of probability measures as is central to the theory of coherent imprecise probability. However, we endow this model with an objecti...
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...