1716 search results - page 278 / 344 » Proving Conditional Termination |
98
Voted
INTERACT
2007
15 years 2 months ago
2007
Abstract. Exploring any new data set always starts with gathering overview information. When this process is done non-visually, interactive sonification techniques have proved to b...
109
Voted
NIPS
2008
15 years 2 months ago
2008
Bartlett et al (2006) recently proved that a ground condition for convex surrogates, classification calibration, ties up the minimization of the surrogates and classification risk...
140
Voted
NIPS
2007
15 years 2 months ago
2007
Estimation of three-dimensional articulated human pose and motion from images is a central problem in computer vision. Much of the previous work has been limited by the use of cru...
105
click to vote
AIML
2006
15 years 2 months ago
2006
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
118
Voted
CSREAEEE
2006
15 years 2 months ago
2006
Recent research on distributed Internet based B2B e-commerce has focused on long running distributed transactions and the possibility that this characteristic may lead to extended...