Anthony Hoare definition
<person> (C. Anthony R. Hoare, Tony) A computer scientist
working on programming languages, especially parallel ones.
Hoare was responsible for Communicating Sequential Processes
(CSP).
See also: pointer, Simone.
[Did he invent the Hoare powerdomain? Other details?]
(1999-07-22)
Nearby terms:
ANSI/SPARC model « ANSI X12 « ANSI Z39.50 « Anthony Hoare » anti-aliasing » antichain » antisymmetric
anti-aliasing definition
<graphics> A technique used on a grey-scale or colour
bitmap display to make diagonal edges appear smoother by
setting pixels near the edge to intermediate colours
according to where the edge crosses them.
The most common example is black characters on a white
background. Without anti-aliasing, diagonal edges appear
jagged, like staircases, which may be noticeable on a low
resolution display. If the display can show intermediate
greys then anti-aliasing can be applied. A pixel will be
black if it is completely within the black area, or white if
it is completely outside the black area, or an intermediate
shade of grey according to the proportions of it which overlap
the black and white areas. The technique works similarly with
other foreground and background colours.
"Aliasing" refers to the fact that many points (which would
differ in the real image) are mapped or "aliased" to the same
pixel (with a single value) in the digital representation.
(1998-03-13)
Nearby terms:
ANSI X12 « ANSI Z39.50 « Anthony Hoare « anti-aliasing » antichain » antisymmetric » antivirus software
antichain definition
<mathematics> A subset S of a partially ordered set P is an
antichain if,
for all x, y in S, x <= y => x = y
I.e. no two different elements are related.
("<=" is written in LaTeX as \subseteq).
(1995-02-03)
Nearby terms:
ANSI Z39.50 « Anthony Hoare « anti-aliasing « antichain » antisymmetric » antivirus software » ANTLR
antisymmetric definition
<mathematics> A relation R is antisymmetric if,
for all x and y, x R y and y R x => x == y.
I.e. no two different elements are mutually related.
Partial orders and total orders are antisymmetric. If R
is also symmetric, i.e.
x R y => y R x
then
x R y => x == y
I.e. different elements are not related.
(1995-04-18)
Nearby terms:
Anthony Hoare « anti-aliasing « antichain « antisymmetric » antivirus software » ANTLR » ANU
antivirus software definition
<tool> Programs to detect and remove computer viruses. The
simplest kind scans executable files and boot blocks for a
list of known viruses. Others are constantly active,
attempting to detect the actions of general classes of
viruses. antivirus software should always include a regular
update service allowing it to keep up with the latest viruses
as they are released.
(1998-02-25)
Nearby terms:
anti-aliasing « antichain « antisymmetric « antivirus software » ANTLR » ANU » ANU ML
ANTLR definition
ANother Tool for Language Recognition
Nearby terms:
antichain « antisymmetric « antivirus software « ANTLR » ANU » ANU ML » any key
|
