Panorama des types images utilisés dans LPSI et leur spécification algébrique
Identifieur interne : 000192 ( Crin/Curation ); précédent : 000191; suivant : 000193Panorama des types images utilisés dans LPSI et leur spécification algébrique
Auteurs : A. BelaïdSource :
English descriptors
- KwdEn :
Abstract
Nous décrivons une spécification complète des types images retenus pour la définition du langage LPSI. Pour chacun de ces types, nous donnons une définition intuitive pour un concept important qui apparaît en traitement d'images et deux tableaux de description et de définition des opérations les plus caractéristiques. Les opérations décrites ne s'allient pas à un type d'application particulier mais plutôt à une utilisation générale. Ce sont les opérations fondamentales qui sont souvent utilisées dans les programmes images et qui peuvent servir de base à l'écriture d'opérations plus importantes ou plus adaptées. Dans ce rapport, les définitions sont données de manière récursive en utilisant des constructeurs de type prédéfinis. En effet, les axiomes algébriques, à cause de leur nature fonctionnelle, sont bien adaptés pour spécifier les types images.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000192
Links to Exploration step
CRIN:belaid85dLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" wicri:score="-169">Panorama des types images utilisés dans LPSI et leur spécification algébrique</title></titleStmt><publicationStmt><idno type="RBID">CRIN:belaid85d</idno><date when="1985" year="1985">1985</date><idno type="wicri:Area/Crin/Corpus">000192</idno><idno type="wicri:Area/Crin/Curation">000192</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">000192</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr">Panorama des types images utilisés dans LPSI et leur spécification algébrique</title><author><name sortKey="Belaid, A" sort="Belaid, A" uniqKey="Belaid A" first="A." last="Belaïd">A. Belaïd</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>abstract data types</term><term>algebraic specification</term><term>image processing</term><term>predefined constructors</term><term>specialised languages</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr" wicri:score="-1072">Nous décrivons une spécification complète des types images retenus pour la définition du langage LPSI. Pour chacun de ces types, nous donnons une définition intuitive pour un concept important qui apparaît en traitement d'images et deux tableaux de description et de définition des opérations les plus caractéristiques. Les opérations décrites ne s'allient pas à un type d'application particulier mais plutôt à une utilisation générale. Ce sont les opérations fondamentales qui sont souvent utilisées dans les programmes images et qui peuvent servir de base à l'écriture d'opérations plus importantes ou plus adaptées. Dans ce rapport, les définitions sont données de manière récursive en utilisant des constructeurs de type prédéfinis. En effet, les axiomes algébriques, à cause de leur nature fonctionnelle, sont bien adaptés pour spécifier les types images.</div></front></TEI><BibTex type="techreport"><ref>belaid85d</ref><crinnumber>85-R-066</crinnumber><category>15</category><equipe>INCONNUE</equipe><author><e>Belaïd, A.</e></author><title>Panorama des types images utilisés dans LPSI et leur spécification algébrique</title><year>1985</year><keywords><e>algebraic specification</e><e>abstract data types</e><e>predefined constructors</e><e>image processing</e><e>specialised languages</e></keywords><abstract>Nous décrivons une spécification complète des types images retenus pour la définition du langage LPSI. Pour chacun de ces types, nous donnons une définition intuitive pour un concept important qui apparaît en traitement d'images et deux tableaux de description et de définition des opérations les plus caractéristiques. Les opérations décrites ne s'allient pas à un type d'application particulier mais plutôt à une utilisation générale. Ce sont les opérations fondamentales qui sont souvent utilisées dans les programmes images et qui peuvent servir de base à l'écriture d'opérations plus importantes ou plus adaptées. Dans ce rapport, les définitions sont données de manière récursive en utilisant des constructeurs de type prédéfinis. En effet, les axiomes algébriques, à cause de leur nature fonctionnelle, sont bien adaptés pour spécifier les types images.</abstract></BibTex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000192 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd -nk 000192 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Crin
|étape= Curation
|type= RBID
|clé= CRIN:belaid85d
|texte= Panorama des types images utilisés dans LPSI et leur spécification algébrique
}}
| This area was generated with Dilib version V0.6.33. |  |