2989 search results - page 176 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
115
click to vote
ISNN
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we introduce a new instance-based approach to the label ranking problem. This approach is based on a probability model on rankings which is known as the Mallows mode...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— A central problem of applications dealing with virtual environments is planning a collision-free path for a character. Since environments and their characters are growing more ...
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
123
Voted
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
We present a new method for classification with structured
latent variables. Our model is formulated using the
max-margin formalism in the discriminative learning literature.
We...
MICCAI
2007
Springer
15 years 11 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...