877 search results - page 41 / 176 » Full Abstraction for HOPLA |
MOC
2002
13 years 7 months ago
2002
Abstract. In this paper, we are interested in the evaluation of the zeta function of the simplest cubic field. We first introduce Siegel's formula for values of the zeta funct...
TROB
2002
13 years 7 months ago
2002
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
TROB
2002
13 years 7 months ago
2002
Abstract--A new image-based control strategy for visual servoing of a class of under-actuated rigid body systems is presented. The proposed control design applies to "eye-in-h...
TODAES
2008
13 years 7 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
EUROMED
2010
13 years 6 months ago
2010
Abstract. The “E.Stone” project is based on the survey, documentation investigation and physical, geochemical and petrographic characterisation of the great zoomorphic and phyt...