Searched refs:space (Results 1 - 15 of 15) sorted by relevance

/hets/utils/
H A Ddol2het.pl42 [[:space:]]+ # whitespace
44 [[:space:]]*=[[:space:]]+ # =
80 [[:space:]]+ # whitespace
/hets/GMP/papers/conditional/
H A Dentcs.cls148 \marginparsep 20\p@ % Horizontal space between outer margin and
188 \parskip 1pt % 1pc \@plus 1\p@ % Extra vertical space between paragraphs.
190 \newskip\eqntopsep % Extra vertical space, in addition to
192 \newdimen\eqnarraycolsep % Half the space between columns
363 \newskip\eqnlineskip % Minimal space between the bottom of
418 \arraycolsep 2\p@ % Half the space between columns in array environment.
420 \def\arraystretch{1.5} % More vertical space in tables
421 \arrayrulewidth 0.4\p@ % \@Width of rules and space between adjacent
541 {Citation `\@citeb' on page \thepage \space undefined}}%
775 \vskip 12\p@ % Vertical space belo
[all...]
/hets/GMP/papers/heterogenous/
H A Dentcs.cls148 \marginparsep 20\p@ % Horizontal space between outer margin and
188 \parskip 1pt % 1pc \@plus 1\p@ % Extra vertical space between paragraphs.
190 \newskip\eqntopsep % Extra vertical space, in addition to
192 \newdimen\eqnarraycolsep % Half the space between columns
363 \newskip\eqnlineskip % Minimal space between the bottom of
418 \arraycolsep 2\p@ % Half the space between columns in array environment.
420 \def\arraystretch{1.5} % More vertical space in tables
421 \arrayrulewidth 0.4\p@ % \@Width of rules and space between adjacent
541 {Citation `\@citeb' on page \thepage \space undefined}}%
775 \vskip 12\p@ % Vertical space belo
[all...]
/hets/GMP/papers/optInWork/
H A Dentcs.cls148 \marginparsep 20\p@ % Horizontal space between outer margin and
188 \parskip 1pt % 1pc \@plus 1\p@ % Extra vertical space between paragraphs.
190 \newskip\eqntopsep % Extra vertical space, in addition to
192 \newdimen\eqnarraycolsep % Half the space between columns
363 \newskip\eqnlineskip % Minimal space between the bottom of
418 \arraycolsep 2\p@ % Half the space between columns in array environment.
420 \def\arraystretch{1.5} % More vertical space in tables
421 \arrayrulewidth 0.4\p@ % \@Width of rules and space between adjacent
541 {Citation `\@citeb' on page \thepage \space undefined}}%
775 \vskip 12\p@ % Vertical space belo
[all...]
H A Dllncs.cls292 \typeout{\@chapapp\space\thechapter.}%
358 \string\subparagraph\space with this class}\vskip0.5cm
526 \addvspace{2em plus\p@}% % space above part line
700 {Citation `\@citeb' on page \thepage \space undefined}}%
745 {\def\protect##1{\string ##1\space}\immediate
752 \def\idxquad{\hskip 10\p@}% space that divides entry from number
937 \typeout{a shorter form with \string\titlerunning\space prior to
965 \typeout{a shorter form with \string\authorrunning\space prior to
1176 \newdimen\headlineindent % dimension for space between
/hets/GMP/papers/optimizing/
H A Dentcs.cls148 \marginparsep 20\p@ % Horizontal space between outer margin and
188 \parskip 1pt % 1pc \@plus 1\p@ % Extra vertical space between paragraphs.
190 \newskip\eqntopsep % Extra vertical space, in addition to
192 \newdimen\eqnarraycolsep % Half the space between columns
363 \newskip\eqnlineskip % Minimal space between the bottom of
418 \arraycolsep 2\p@ % Half the space between columns in array environment.
420 \def\arraystretch{1.5} % More vertical space in tables
421 \arrayrulewidth 0.4\p@ % \@Width of rules and space between adjacent
541 {Citation `\@citeb' on page \thepage \space undefined}}%
775 \vskip 12\p@ % Vertical space belo
[all...]
H A Dllncs.cls292 \typeout{\@chapapp\space\thechapter.}%
358 \string\subparagraph\space with this class}\vskip0.5cm
526 \addvspace{2em plus\p@}% % space above part line
700 {Citation `\@citeb' on page \thepage \space undefined}}%
745 {\def\protect##1{\string ##1\space}\immediate
752 \def\idxquad{\hskip 10\p@}% space that divides entry from number
937 \typeout{a shorter form with \string\titlerunning\space prior to
965 \typeout{a shorter form with \string\authorrunning\space prior to
1176 \newdimen\headlineindent % dimension for space between
/hets/doc/
H A DUserGuideCommonLogic.tex51 %% Added by MB to have some extra vertical space after the ``main'' examples
135 %% Do NOT use \ASF+\SDF (it gives a superfluous space in the middle)
493 800 MB of disk space. For a minimal installation use \texttt{apt-get install
925 Hence a space must be placed between the separation-comma and a name.
1037 Existing ontologies for ambient assisted living (e.g.\ the OpenAAL\footnote{\url{http://openaal.org}} OWL ontology) cover the \emph{core} of these concepts; they provide at least classes (or generic superclasses) corresponding to the concepts highlighted in \textbf{bold}. However, that does not cover the scenario completely. In particular, there are relevant concepts (here: space and time, \underline{underlined}), which are not covered at the required level of complexity. OpenAAL says that appointments have a date and that rooms can be connected to each other, but not what exactly that means. Foundational ontologies and spatial calculi, often formalized in first-order logic, cover space and time at the level of complexity required by a central controller of an apartment and by an autonomously navigating wheelchair.
1170 indicates a disproved goal, a space denotes an open goal, and a
H A DLibraries.tex246 This solution uses more disk space than a dynamic checkout
H A DUserGuide.tex33 %% Added by MB to have some extra vertical space after the ``main'' examples
117 %% Do NOT use \ASF+\SDF (it gives a superfluous space in the middle)
301 %specify calculi for time and space.
592 800 MB of disk space. For a minimal installation \texttt{apt-get install
1565 indicates a disproved goal, a space denotes an open goal, and a
H A Dhs2isa.tex183 a function space in Haskell can be mapped to the space of the
196 In order to enforce this distinction, each function space needs to be
/hets/
H A DMakefile68 space = $(empty) $(empty) macro
138 DRIFT_ENV := DERIVEPATH=$(subst $(space),:,$(PFE_PATHS))
/hets/debian/
H A Drules68 space = $(empty) $(empty) macro
138 DRIFT_ENV := DERIVEPATH=$(subst $(space),:,$(PFE_PATHS))
/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex128 of name space integration w.r.t. imported files ?!? Till] [A
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 4798 milliseconds