Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

Multiple barriers are commonly installed along predicted geophysical flow paths to intercept large flow volumes. The main… Expand

2016

2016

Communication by transferring data using computer networks have an important role nowadays. There are many activities which… Expand

2012

2012

Reversible watermarking algorithms make it possible that the original image can be totally restored after the watermark was… Expand

2010

2010

Dynamic test generation consists of running a program while simultaneously executing the program symbolically in order to gather… Expand

2007

2007

Given floating-point arithmetic with $t$-digit base-$\beta$ significands in which all arithmetic operations are performed as if… Expand

2005

2005

This paper addresses the formalization in higher-order logic of fixed-point arithmetic. We encoded the fixed-point number system… Expand

2002

2002

This paper addresses the formalization in higher-order logic of fixed-point arithmetic based on the SPW (Signal Processing… Expand

1999

1999

The #u-TBL system represents an attempt to use the search and database capabilities of the Prolog programming language to… Expand

1998

1998

In this paper, we present a “black box” version of verification of FP adders. In our approach, FP adders are verified by an… Expand

1991

1991

A readable and uniform proof of the classification of the flag-transitive classical c.C2-geometries with s ? 3 is provided, by… Expand