Learn More
  • Univerzita Karlova, Praze, +7 authors Ondřejčepek
  • 2005
Jiří Havelka: Projektivita a úplně uspořádáné kořenové stromy: alternativní defi-nice projektivity a optimální algoritmy pro zprojektivnění a nalezení neprojektivních Abstract Completeness of resolution (Quine's theorem) claims, that given an arbitrary CNF representation F of a Boolean function f , every prime implicate of f can be derived from F by a chain(More)
Title: Hierarchical associative memories Author: Abstract: The progress in information technologies enables applications of artificial neural networks even in areas like navigation and geographical information systems, telecommunications, etc. This kind of problems requires robust recall of-possibly incomplete-spatial data. In this context, spatial patterns(More)
  • 1