433 search results - page 38 / 87 » Generalized Ham-Sandwich Cuts |
122
click to vote
USENIX
1994
15 years 3 months ago
1994
This paper describes the architecture and implementation of a mobile IP system. It allows mobile hosts to roam between cells implemented with 2-Mbps radio base stations, while mai...
126
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
108
click to vote
ICML
2004
IEEE
16 years 2 months ago
2004
IEEE
Learning general functional dependencies is one of the main goals in machine learning. Recent progress in kernel-based methods has focused on designing flexible and powerful input...
122
Voted
CADE
2009
Springer
16 years 2 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
102
click to vote
COMPGEOM
2009
ACM
15 years 8 months ago
2009
ACM
It was shown in [11] that any orientable graph of genus g can be probabilistically embedded into a graph of genus g − 1 with constant distortion. Removing handles one by one giv...