Main.HomePage History

Hide minor edits - Show changes to output

March 11, 2013, at 10:37 AM by 88.181.14.196 -
Deleted lines 8-9:

http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif
March 11, 2013, at 10:36 AM by 88.181.14.196 -
Changed line 12 from:
[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif“Agence Nationale de la Recherche”]]
to:
[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif]]
March 11, 2013, at 10:35 AM by 88.181.14.196 -
Changed lines 10-12 from:
http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif“Agence Nationale de la Recherche”

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif“ANR”]]
to:
http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif“Agence Nationale de la Recherche”]]
March 11, 2013, at 10:34 AM by 88.181.14.196 -
Changed lines 10-12 from:
http://www.agence-nationale-recherche.fr/images/logos/ANR07-396.gif“ANR”

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-396.gif“ANR”]]
to:
http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif“Agence Nationale de la Recherche”

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif“ANR”]]
March 11, 2013, at 10:32 AM by 88.181.14.196 -
Added lines 9-10:

http://www.agence-nationale-recherche.fr/images/logos/ANR07-396.gif“ANR”
March 11, 2013, at 10:31 AM by 88.181.14.196 -
Changed line 10 from:
[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-396.gif“ABR”]]
to:
[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-396.gif“ANR”]]
March 11, 2013, at 10:31 AM by 88.181.14.196 -
Added lines 9-10:

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-396.gif“ABR”]]
March 11, 2013, at 10:30 AM by 88.181.14.196 -
October 29, 2010, at 07:30 PM by 82.244.81.126 -
Changed line 8 from:
You can [[(Attach:)FREC scientific description | download]] the scientific project description.
to:
You can [[(Attach:)FREC scientific description | download]] the full scientific project description.
October 29, 2010, at 07:28 PM by 82.244.81.126 -
Changed line 4 from:
The challenge is to transfer, with effectiveness in mind, results successfully obtained in the context of finite words to these structures, ranging over infinite domains. These extensions are motivated by increasingly important applications, in particular in the fields of verification and computational linguistics. Such structures occur in the real world, for instance as inputs of data processing problems, or as behaviors of computer systems.
to:
The challenge is to transfer, with effectiveness in mind, results successfully obtained in the context of finite words to these structures, ranging over infinite domains. These extensions are motivated by increasingly important applications, in particular in the fields of verification and computational linguistics. Such structures occur in the real world, for instance as behaviors of computer systems, or as inputs of data processing problems.
October 29, 2010, at 07:27 PM by 82.244.81.126 -
Changed line 4 from:
The challenge is to transfer, with effectiveness in mind, results successfully obtained in the context of finite words to these structures, ranging over infinite domains. These extensions are motivated by increasingly important applications, in particular in the fields of verification and computational linguistics. Such structures occur when modeling real-world problems, for instance as inputs of data processing problems, or as behaviors of computer systems.
to:
The challenge is to transfer, with effectiveness in mind, results successfully obtained in the context of finite words to these structures, ranging over infinite domains. These extensions are motivated by increasingly important applications, in particular in the fields of verification and computational linguistics. Such structures occur in the real world, for instance as inputs of data processing problems, or as behaviors of computer systems.
October 29, 2010, at 07:25 PM by 82.244.81.126 -
Changed lines 1-3 from:
The project '''FREC''', Frontiers of recognizability, is funded by the [[http://www.agence-nationale-recherche.fr/ | ANR]] and involves researchers of the
[[http://www.labri.fr | LaBRI]], the [[http://www.liafa.jussieu.fr | LIAFA]] and the [[http://lifc.univ-fcomte.fr/ | LIFC]].
to:
The [[http://www.agence-nationale-recherche.fr/ | ANR]] project '''FREC''', Frontiers of recognizability, involves researchers of the [[http://www.labri.fr | LaBRI]], the [[http://www.liafa.jussieu.fr | LIAFA]] and the [[http://lifc.univ-fcomte.fr/ | LIFC]].
October 29, 2010, at 06:08 PM by 147.210.128.236 -
Changed line 10 from:
You can [[(Attach:)FREC | download]] the scientific project description.
to:
You can [[(Attach:)FREC scientific description | download]] the scientific project description.
October 29, 2010, at 05:15 PM by 147.210.128.236 -
Changed lines 1-12 from:
Welcome to PmWiki!

A local copy of PmWiki
's
documentation has been installed along with
the software,
and is available via the
[[PmWiki/documentation index]].

To continue setting up PmWiki, see
[[PmWiki/initial setup tasks]].

The
[[PmWiki/basic editing]] page describes how to create pages
in PmWiki. You can practice editing in the [[wiki sandbox]].

More information about PmWiki is available from http://www.pmwiki.org
.
to:
The project '''FREC''', Frontiers of recognizability, is funded by the [[http://www.agence-nationale-recherche.fr/ | ANR]] and involves researchers of the
[[http://www.labri.fr | LaBRI]], the [[http://www.liafa.jussieu.fr | LIAFA]] and the [[http://lifc.univ-fcomte.fr/ | LIFC]].

Its goal is to push further the frontiers of recent developments in the theory of automata and recognizability to more complex and realistic structures: '''trees, λ-terms and models of quantitative automata'''.

The challenge is to transfer, with effectiveness in mind, results successfully obtained in the context of finite words to these structures, ranging over infinite domains. These extensions are motivated by increasingly important applications, in particular in the fields of verification and computational linguistics. Such structures occur when modeling real-world problems, for instance as inputs of data processing problems, or as behaviors of computer systems.

Our strategy is to exploit and expand the most recent developments of the theory of recognizable languages of finite words, of an algebraic and topological nature, as a guide and a blueprint for the construction of the theory of more complex structures required in applications.

You can [[(Attach:)FREC | download]] the scientific project description
.