Formally certified floating-point filters for homogeneous geometric predicates

Author： Melquiond Guillaume   Pion Sylvain  

Publisher： Edp Sciences

E-ISSN： 1290-385x|41|1|57-69

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.41, Iss.1, 2007-04, pp. : 57-69

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Geometric Development of Point Absorber Wave Energy Conventer

By  

MATEC Web of conference, Vol. 164, Iss. issue, 2018-04 ,pp. : 01011-01011

Edp Sciences

Access to resources Recommend Favorite

Lossy Compression of Biometric Images Implemented Using Floating Point DSP Processor

By  

MATEC Web of conference, Vol. 140, Iss. issue, 2017-12 ,pp. : 01012-01012

Edp Sciences

Access to resources Recommend Favorite

Performance of floating and sunken media biological aerated filters under unsteady state conditions

By Mann A.T.   Mendoza-Espinosa L.   Stephenson T.  

Water Research, Vol. 33, Iss. 4, 1999-03 ,pp. : 1108-1113

Elsevier

Access to resources Recommend Favorite

APPLICATION OF UPFLOW BIOLOGICAL AERATED FILTERS PROCESS BY USING FLOATING FILTER GRANULAR MEDIA IN JAPAN

By Takaso T.   Katagiri A.   Sasaoka K.   Matsuda H.  

Proceedings of the Water Environment Federation, Vol. 2002, Iss. 15, 2002-01 ,pp. : 102-108

Water Environment Federation

Access to resources Recommend Favorite

Design and Synthesis of Single Precision Floating Point Division based on Newton-Raphson Algorithm on FPGA

By  

MATEC Web of conference, Vol. 57, Iss. issue, 2016-05 ,pp. : 01009-01009

Edp Sciences

Access to resources Recommend Favorite