3174 search results - page 119 / 635 » An Exploration of the Permanent-Determinant Method |
172
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
166
click to vote
INTERACT
2003
15 years 7 months ago
2003
: Constructed Narratives is both a human computer interaction research project and interactive art exploration that demonstrates methods by which rigorous research and aesthetic an...
178
click to vote
BMCBI
2006
15 years 6 months ago
2006
Metal-binding proteins play important roles in structural stability, signaling, regulation, transport, immune response, metabolism control, and metal homeostasis. Because of their...
171
click to vote
EMNLP
2009
15 years 4 months ago
2009
This paper explores two classes of model adaptation methods for Web search ranking: Model Interpolation and error-driven learning approaches based on a boosting algorithm. The res...
163
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We describe a method for training object detectors using a generalization of the cascade architecture, which results in a detection rate and speed comparable to that of the best p...