1193 search results - page 49 / 239 » A primer of simple theories |
183
click to vote
COMPGEOM
2003
ACM
15 years 11 months ago
2003
ACM
We address the problem of curvature estimation from sampled smooth surfaces. Building upon the theory of normal cycles, we derive a definition of the curvature tensor for polyhed...
166
click to vote
ICALP
2001
Springer
15 years 10 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
140
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper is devoted to the problem of nonlinear robust control design for Underwater Vehicle/Manipulator (UVM) systems composed of a freefloating platform equipped with a robot ...
168
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
144
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Two schools of thoughts have emerged over the recent debate on internet router buffer sizing. One school argues that the presence of a large number of flows leads to traffic desync...