%template for producing IEEE-format articles using LaTeX.
%written by Matthew Ward, CS Department, Worcester Polytechnic Institute.
%use at your own risk.  Complaints to /dev/null.
%make two column with no page numbering, default is 10 point
\documentstyle[twocolumn]{article}
\pagestyle{empty}

%set dimensions of columns, gap between columns, and space between paragraphs
\setlength{\textheight}{8.75in}
\setlength{\columnsep}{2.0pc}
\setlength{\textwidth}{6.8in}
\setlength{\footheight}{0.0in}
\setlength{\topmargin}{0.10in}
\setlength{\headheight}{0.0in}
\setlength{\headsep}{0.0in}
\setlength{\oddsidemargin}{-.12in}
\setlength{\parindent}{1pc}

%I copied stuff out of art10.sty and modified them to conform to IEEE format

\makeatletter
%as Latex considers descenders in its calculation of interline spacing,
%to get 12 point spacing for normalsize text, must set it to 10 points
\def\@normalsize{\@setsize\normalsize{12pt}\xpt\@xpt
\abovedisplayskip 10pt plus2pt minus5pt\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus3pt\belowdisplayshortskip 6pt plus3pt
minus3pt\let\@listi\@listI} 

%need an 11 pt font size for subsection and abstract headings
\def\subsize{\@setsize\subsize{12pt}\xipt\@xipt}

%make section titles bold and 12 point, 2 blank lines before, 1 after
%\def\section{\@startsection {section}{1}{\z@}{18pt plus 2pt minus 2pt}
%{10pt plus 2pt minus 2pt}{\large\bf}}

%make subsection titles bold and 11 point, 1 blank line before, 1 after
%\def\subsection{\@startsection {subsection}{2}{\z@}{12pt plus 2pt minus 2pt}
%{9pt plus 2pt minus 2pt}{\subsize\bf}}

\def\section{\@startsection{section}{1}{\z@}{-2ex}{0.5ex}{\large\bf}}
\def\subsection{\@startsection{subsection}{2}{\z@}{-1ex}{0.3ex}{\subsize\bf}}
\def\subsubsection{\@startsection{subsubsection}{3}{\z@}{-0.5ex}{0.001ex}{\bf}}

\makeatother

\begin{document}

%don't want date printed
\date{}

\bibliographystyle{alpha}
\include{psfig}


% new commands and environments
\newcommand{\ignore}[1]{}
\newcommand{\POSTGRES}{{\sc postgres}}
\newtheorem{lemma}{Lemma}
\newenvironment{proof}
    {\smallskip\noindent{\em Proof.~}}
    {\unskip\nobreak\hfill{\rule{4pt}{9pt}}}
\newenvironment{flist}
 {\begin{list}{$\bullet$}{\itemsep 0pt
  \leftmargin 2.5ex \topsep 2pt \partopsep 0pt}}
 {\end{list}}

% controlling placement of floating objects.
\setcounter{totalnumber}{2}
\renewcommand{\topfraction}{0.5}
\setcounter{topnumber}{1}
\renewcommand{\bottomfraction}{0.5}
\renewcommand{\textfraction}{0.3}

% figures and captions
\def\figurename{\small Figure}
\def\tablename{\small Table}
\newlength{\capwidth} \setlength{\capwidth}{.9\textwidth}
\newcommand{\mycaption}[1]{\centerline{\parbox{\capwidth}{\caption{{#1}}}}}