1772 search results - page 71 / 355 » Classifying Problems into Complexity Classes |
79
Voted
GPCE
2008
Springer
15 years 1 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...
101
click to vote
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
80
Voted
ICML
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce a robust probabilistic approach to modeling shape contours based on a lowdimensional, nonlinear latent variable model. In contrast to existing techniques that use obj...
PAMI
2008
15 years 14 days ago
2008
We address the issue of classifying complex data. We focus on three main sources of complexity, namely, the high dimensionality of the observed data, the dependencies between these...
URBAN
2008
15 years 12 days ago
2008
: There is a long tradition of describing cities through a focus on the characteristics of their residents. A brief review of the history of this approach to describing cities high...