3820 search results - page 385 / 764 » Bounded Model Debugging |
160
click to vote
MST
2011
14 years 11 months ago
2011
In this paper we generalize the Continuous Adversarial Queuing Theory (CAQT) model [5] by considering the possibility that the router clocks in the network are not synchronized. W...
141
click to vote
ICCV
1998
IEEE
16 years 6 months ago
1998
IEEE
Existing object tracking algorithms generally use some form of local optimisation, assuming that an object's position and shape change smoothly over time. In some situations ...
121
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
Recent approaches to learning structured predictors often require approximate inference for tractability; yet its effects on the learned model are unclear. Meanwhile, most learnin...
147
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
Mappings to structured output spaces (strings, trees, partitions, etc.) are typically learned using extensions of classification algorithms to simple graphical structures (eg., li...
115
click to vote
STOC
2003
ACM
16 years 4 months ago
2003
ACM
In this paper, we present lower bounds for permuting and sorting in the cache-oblivious model. We prove that (1) I/O optimal cache-oblivious comparison based sorting is not possib...