1193 search results - page 49 / 239 » A primer of simple theories |
116
click to vote
COMPGEOM
2003
ACM
15 years 5 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...
104
click to vote
ICALP
2001
Springer
15 years 4 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)....
ICRA
1998
IEEE
15 years 4 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 ...
106
click to vote
APLAS
2007
ACM
15 years 3 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...
GLOBECOM
2007
IEEE
15 years 3 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...