798 search results - page 85 / 160 » Interval Methods: An Introduction |
SAS
2007
Springer
14 years 3 months ago
2007
Springer
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Using additional store-checkpoinsts (SCPs) and compare-checkpoints (CCPs), we present an adaptive checkpointing for double modular redundancy (DMR) in this paper. The proposed app...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
We propose a method that uses the participants’ head orientation and utterances for automatically identifying the addressee of each utterance in face-to-face multiparty conversa...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper describes an original control law called qualitative servoing. The particularity of this method is that no specific desired value is specified for the visual featu...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
Abstract. In this paper we propose a new method to perform incremental discretization. The basic idea is to perform the task in two layers. The first layer receives the sequence o...