5692 search results - page 266 / 1139 » Challenges and Unsolved Problems |
173
click to vote
CSL
1999
Springer
15 years 11 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
140
click to vote
HAIS
2009
Springer
15 years 10 months ago
2009
Springer
One of the most important challenges in supervised learning is how to evaluate the quality of the models evolved by different machine learning techniques. Up to now, we have relied...
177
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Network lifetime maximization is a critical issue in wireless sensor networks since each sensor has a limited energy supply. Different from conventional sensors, video sensors com...
194
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
The 3D reconstruction from 2D broadcast video is a challenging problem with many potential applications, such as 3DTV, free-viewpoint video or augmented reality. In this paper, a ...
179
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
With the proliferation of XML as the lingua franca of internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this c...