| podobné slovo | definícia |
computational linguist
(encz) | computational linguist, n: |
computational linguistics
(encz) | computational linguistics, n: |
computationally
(encz) | computationally,výpočetně adv: Zdeněk Brož |
computational linguist
(wn) | computational linguist
n 1: someone trained in computer science and linguistics who
uses computers for natural language processing |
computational linguistics
(wn) | computational linguistics
n 1: the use of computers for linguistic research and
applications |
computationally
(wn) | computationally
adv 1: with regard to computation; "computationally, this is a
tricky problem" |
association for computational linguistics
(foldoc) | Association for Computational Linguistics
(ACL) The international scientific and professional
society for people working on problems involving {natural
language} and computation. Membership includes the ACL
quarterly journal, "Computational Linguistics", reduced
registration at most ACL-sponsored conferences, discounts on
ACL-sponsored publications, and participation in ACL Special
Interest Groups. The ACL started in 1968; there are more
than 2000 members worldwide.
E-mail: .
(http://cs.columbia.edu/~acl/).
(1999-08-31)
|
computational adequacy theorem
(foldoc) | Computational Adequacy Theorem
This states that for any program (a non-function typed term in
the typed lambda-calculus with constants) {normal order
reduction} (outermost first) fails to terminate if and only if
the standard semantics of the term is bottom. Moreover,
if the reduction of program e1 terminates with some {head
normal form} e2 then the standard semantics of e1 and e2 will
be equal. This theorem is significant because it relates the
operational notion of a reduction sequence and the
denotational semantics of the input and output of a
reduction sequence.
|
computational complexity
(foldoc) | computational complexity
The number of steps or arithmetic operations
required to solve a computational problem. One of the three
kinds of complexity.
(1996-04-24)
|
computational fluid dynamics
(foldoc) | Computational Fluid Dynamics
CFD
(CFD) A Fortran-based parallel language for the
Illiac IV.
(1994-11-29)
|
computational geometry
(foldoc) | computational geometry
The study of algorithms for combinatorial,
topological, and metric problems concerning sets of points,
typically in Euclidean space. Representative areas of
research include geometric search, convexity, proximity,
intersection, and linear programming.
(1997-08-03)
|
computational learning
(foldoc) | grammatical inference
computational learning
inductive inference
Deducing a grammar from given examples. Also known as
"inductive inference" and recently as "computational
learning".
|
computational molecular biology
(foldoc) | computational molecular biology
The area of bioinformatics concerning the use
of computers to characterise the molecular components of
living things.
(2005-01-07)
|