\typeout{IEEE 8.5 x 11-Inch Proceedings Style `latex8.sty'.}
%\input Sty/epsf.sty
%\input Sty/fleqn.sty
%\input Sty/subfigure.sty
%\input Sty/myalgorithm.sty
%\input amstex.sty

% ten point helvetica bold required for captions
% in some sites the name of the helvetica bold font may differ, 
% change the name here:
%\font\tenhv  = phvb at 10pt
%\font\tenhv  = phvb7t at 10pt
\font\tenhv  = phvb7t at 10pt


% eleven point times bold required for second-order headings 
% \font\elvbf  = cmbx10 scaled 1100
%\font\elvbf  = ptmb scaled 1100
\font\elvbf  = ptmb7t at 11pt


% set dimensions of columns, gap between columns, and paragraph indent 
\setlength{\textheight}{8.875in}
\setlength{\textwidth}{6.875in}
\setlength{\columnsep}{0.3125in}
\setlength{\topmargin}{0in}
\setlength{\headheight}{0in}
\setlength{\headsep}{0in}
\setlength{\parindent}{1pc}
\setlength{\oddsidemargin}{-.304in}
\setlength{\evensidemargin}{-.304in}

% memento from size10.clo
% \normalsize{\@setfontsize\normalsize\@xpt\@xiipt} 
% \small{\@setfontsize\small\@ixpt{11}}
% \footnotesize{\@setfontsize\footnotesize\@viiipt{9.5}} 
% \scriptsize{\@setfontsize\scriptsize\@viipt\@viiipt}
% \tiny{\@setfontsize\tiny\@vpt\@vipt}
% \large{\@setfontsize\large\@xiipt{14}} 
% \Large{\@setfontsize\Large\@xivpt{18}} 
% \LARGE{\@setfontsize\LARGE\@xviipt{22}} 
% \huge{\@setfontsize\huge\@xxpt{25}}
% \Huge{\@setfontsize\Huge\@xxvpt{30}}

\def\@maketitle
   {
   \newpage
   \null
   \vskip .375in 
   \begin{center}
      {\Large \bf \@title \par} 
      % additional two empty lines at the end of the title 
      \vspace*{24pt} 
      {
      \large 
      \lineskip .5em
      \begin{tabular}[t]{c}
         \@author 
      \end{tabular}
      \par
      } 
      % additional small space at the end of the author name 
      \vskip .5em 
      {
       \large 
      \begin{tabular}[t]{c}
         \@affiliation 
      \end{tabular}
      \par 
      \ifx \@empty \@email
      \else
         \begin{tabular}{r@{~}l}
            E-mail: & {\tt \@email}
         \end{tabular}
         \par
      \fi
      }
      % additional empty line at the end of the title block 
      \vspace*{12pt} 
   \end{center}
   } 

\def\abstract
   {%
   \centerline{\large\bf Abstract}%
   \vspace*{12pt}%
   \it%
   }

\def\endabstract
   {
   % additional empty line at the end of the abstract 
   \vspace*{12pt} 
   }

\def\affiliation#1{\gdef\@affiliation{#1}} \gdef\@affiliation{}

\def\email#1{\gdef\@email{#1}}
\gdef\@email{}

\newlength{\@ctmp}
\newlength{\@figindent}
\setlength{\@figindent}{1pc}

\long\def\@makecaption#1#2{
   \vskip 10pt
   \setbox\@tempboxa\hbox{\tenhv\noindent #1.~#2} 
   \setlength{\@ctmp}{\hsize}
   \addtolength{\@ctmp}{-\@figindent}\addtolength{\@ctmp}{-\@figindent} 
   % IF longer than one indented paragraph line
   \ifdim \wd\@tempboxa >\@ctmp
      % THEN set as an indented paragraph
      \begin{list}{}{\leftmargin\@figindent \rightmargin\leftmargin} 
         \item[]\tenhv #1.~#2\par
      \end{list}
   \else
      % ELSE center
      \hbox to\hsize{\hfil\box\@tempboxa\hfil} 
   \fi}

% correct heading spacing and type
\def\section{\@startsection {section}{1}{\z@}
   {14pt plus 2pt minus 2pt}{14pt plus 2pt minus 2pt} {\large\bf}} 
\def\subsection{\@startsection {subsection}{2}{\z@}
   {13pt plus 2pt minus 2pt}{13pt plus 2pt minus 2pt} {\elvbf}}

% add the period after section numbers 
%\renewcommand{\baselinestretch}{0.8}
\newcommand{\Section}[1]{\section{\hskip -1em.~#1}} 
\newcommand{\SubSection}[1]{\subsection{\hskip -1em.~#1}}
\newcommand{\union}{\cup}
\newcommand{\bigunion}{\bigcup}
\newcommand{\intersect}{\cap}
\newcommand{\bigintersect}{\bigcap}
\newcommand{\select}{\sigma}
\newcommand{\project}{\pi}
\newcommand{\join}{\mathrel{\bowtie}}
\newcommand{\rjoin}{\join^{e_{2}}_{e_{1}}}
\newcommand{\diff}{\mathrel{\Delta}}
\newcommand{\aand}{\wedge}
\newcommand{\oor}{\vee}
\newcommand{\bigor}{\bigvee}
\newcommand{\concate}{\circ}
%%
\newcommand{\la}{\leftarrow}
\newcommand{\ra}{\rightarrow}
\newcommand{\ua}{\uparrow}
\newcommand{\da}{\downarrow}
\newcommand{\lla}{\longleftarrow}
\newcommand{\lra}{\longrightarrow}
%\newcommand{\single}{1}
\newcommand{\single}{1.2}
%\newcommand{\double}{1}
\newcommand{\double}{1.2}
\newcommand{\fa}{\forall}
\newcommand{\te}{\exists}
\newcommand{\lif}{\leftarrow}
% \newcommand{\something}{\setminus}
\newcommand{\es}{\mbox{$\emptyset$}}
\newcommand{\arrowplus}{\stackrel{\+}{\Rightarrow}}
\newcommand{\arrowstar}{\stackrel{\ast}{\Rightarrow}}
\newcommand{\ssmrj}{\mbox{SSMRJ}}
\newcommand{\eoenv}{\mbox{\large $\Box$}}
\newenvironment{definition}%
  {\trivlist \item[\hskip \labelsep {\bf Definition}]}{\endtrivlist}
\newenvironment{theorem*}%
  {\trivlist \item[\hskip \labelsep {\bf Theorem}]}{\endtrivlist}
\newenvironment{lemma*}%
  {\trivlist \item[\hskip \labelsep {\bf Lemma}]}{\endtrivlist}
\newenvironment{defn}%
  {\trivlist \item[\hskip \labelsep {\bf Definition}]}{\endtrivlist}
%% Could number definitions like examples below.
\newenvironment{example}{\begin{xmpl} \rm}{\eoenv \end{xmpl}}
  \newtheorem{xmpl}{Example}
%% Could number examples like definitions above.
%% \newenvironment{algorithm}{\begin{algm} \rm}{\eoenv \end{algm}}
%% \newtheorem{algm}{Algorithm}[section]
\newtheorem{lemma}{Lemma}
\newtheorem{theorem}{Theorem}
\newtheorem{proposition}{Proposition}
\newtheorem{corollary}{Corollary}
\newtheorem{conjecture}{Conjecture}
%\newenvironment{proof}%
%  {\trivlist \item[\hskip \labelsep \indent {\em Proof\/}]}%
%  {\eoenv \endtrivlist}
\newenvironment{note}%
  {\trivlist \item[\hskip \labelsep {\em Note\/}]}{\endtrivlist}
\newenvironment{remark}%
  {\trivlist \item[\hskip \labelsep {\em Remark\/}]}{\endtrivlist}
\newenvironment{indented}%
  {\begin{list}{}{}\item[]}{\end{list}}
\newenvironment{block}%
  {\begin{list}{}{}\item[]}{\end{list}}
\newenvironment{mathblock}{\[\begin{array}{l}}{\end{array}\]}
\newenvironment{maths}{\[\begin{array}{l}}{\end{array}\]}
\newcommand{\bslash}{\char92{}}
\newcommand{\caret}{\char94}
\newcommand{\tilda}{\char126}


% end of file latex8.sty
% ---------------------------------------------------------------