570 search results - page 51 / 114 » A Connectivity Constraint Using Bridges |
167
Voted
JMLR
2012
13 years 6 months ago
2012
Metric and kernel learning arise in several machine learning applications. However, most existing metric learning algorithms are limited to learning metrics over low-dimensional d...
132
Voted
MICS
2010
15 years 2 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
135
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
117
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— Due to the increased usage of NAT boxes and firewalls, it has become harder for applications to establish direct connections seamlessly among two end-hosts. A recently adopted...
122
click to vote
NETWORKING
2007
15 years 5 months ago
2007
Abstract. Our Token Based Switch (TBS) implementation shows that a packetbased admission control system can be used to dynamically select a fast end-to-end connection over a hybrid...