shallow embedding


shallow embedding
a) The act of representing one logic or language with another by providing a syntactic translation.
b) A specific mechanism for such a syntactic translation.

Wikipedia foundation.

Look at other dictionaries:

  • deep embedding — noun a) The act of representing one logic or language with another by providing a semantic function that assigns a meaning to each term. b) A specific such semantic function. Ant: shallow embedding …   Wiktionary

  • Spirit rover — (MER A) Artist s concept of Rover on Mars Operator NASA Mission type Rover Launch date …   Wikipedia

  • tunnels and underground excavations — ▪ engineering Introduction        Great tunnels of the world Great tunnels of the worldhorizontal underground passageway produced by excavation or occasionally by nature s action in dissolving a soluble rock, such as limestone. A vertical opening …   Universalium

  • United States — a republic in the N Western Hemisphere comprising 48 conterminous states, the District of Columbia, and Alaska in North America, and Hawaii in the N Pacific. 267,954,767; conterminous United States, 3,022,387 sq. mi. (7,827,982 sq. km); with… …   Universalium

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Archaeopteryx — Taxobox name = Archaeopteryx fossil range = fossil range|155.0|150.0Late Jurassic image width = 300px image caption = A model of Archaeopteryx lithographica on display at the Oxford University Museum. regnum = Animalia phylum = Chordata classis …   Wikipedia

  • Pearl Harbor advance-knowledge debate — The Pearl Harbor advance knowledge debate is a dispute over what, if any, advance knowledge American officials had of Japan s December 7, 1941 attack on Pearl Harbor.Ever since the Japanese attack there has been debate as to how and why the… …   Wikipedia

  • Minor (graph theory) — In graph theory, an undirected graph H is called a minor of the graph G if H is isomorphic to a graph that can be obtained by zero or more edge contractions on a subgraph of G. The theory of graph minors began with Wagner s theorem that a graph… …   Wikipedia

  • fossil — fossillike, adj. /fos euhl/, n. 1. any remains, impression, or trace of a living thing of a former geologic age, as a skeleton, footprint, etc. 2. a markedly outdated or old fashioned person or thing. 3. a linguistic form that is archaic except… …   Universalium

  • Mesoplates — The concept of mesoplates was introduced as a heuristic for characterizing the motion of lithospheric plates relative to the sublithospheric source region of hotspot volcanism (Pilger, 2003). W. Jason Morgan (1972), originally suggested that… …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.