- Inverse resolution
Inverse resolution is an
inductive reasoning technique that involves inverting the resolution operator.References
[http://www.doc.ic.ac.uk/~shm/ilp_theory.html#inverse_resolution Inverse resolution]
Wikimedia Foundation. 2010.
Inverse resolution
Look at other dictionaries:
Resolution (logic) — In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem proving technique for sentences in propositional logic and first order logic. In other words, iteratively applying the… … Wikipedia
Inverse synthetic aperture radar — (ISAR) is a technique to generate a two dimensional high resolution image of a target.In situations where other radars display only a single unidentifiable bright moving pixel, the ISAR image is often adequate to discriminate between various… … Wikipedia
résolution — [ rezɔlysjɔ̃ ] n. f. • resolucion « dissolution, désagrégation » v. 1270; lat. resolutio, de resolvere → résoudre I ♦ Action de résoudre (I); son résultat. 1 ♦ Didact. Transformation (d une chose) en ses éléments. Résolution de l eau en vapeur,… … Encyclopédie Universelle
Résolution des noms — Domain Name System Pour les articles homonymes, voir DNS. Pile de protocoles 7 • Application 6 • … Wikipédia en Français
résolution d'adresse — ● loc. f. ►NET Conversion d une adresse IP en une adresse Ethernet physique, via, en général, le protocole ARP. On parle aussi de résolution DNS, mais dans ce cas, on transforme l adresse IP en nom réseau (ou l inverse) … Dictionnaire d'informatique francophone
Address Resolution Protocol — In computer networking, the Address Resolution Protocol (ARP) is the method for finding a host s hardware address when only its Network Layer address is known. ARP is defined in RFC 826. [RFC 826 Address Resolution Protocol, a.k.a. STD 37] It is… … Wikipedia
Probleme inverse — Problème inverse En science, un problème inverse est une situation dans laquelle on tente de déterminer les causes d un phénomène à partir des observations expérimentales de ses effets. Par exemple, en sismologie, la localisation de l origine d… … Wikipédia en Français
Reverse Address Resolution Protocol — RARP (pour Reverse ARP) permet à partir d une adresse matérielle (adresse MAC) de déterminer l adresse IP d une machine. En résumé, RARP fait l inverse de ARP. Le protocole RARP (Reverse Address Resolution Protocol) est beaucoup moins utilisé, il … Wikipédia en Français
Problème inverse — En science, un problème inverse est une situation dans laquelle on tente de déterminer les causes d un phénomène à partir des observations expérimentales de ses effets. Par exemple, en sismologie, la localisation de l origine d un tremblement de… … Wikipédia en Français
Reverse address resolution protocol — RARP (pour Reverse ARP) permet à partir d une adresse matérielle (adresse MAC) de déterminer l adresse IP d une machine. En résumé, RARP fait l inverse de ARP. Le protocole RARP (Reverse Address Resolution Protocol) est beaucoup moins utilisé, il … Wikipédia en Français
