Analyse de sèries temporelles par rèsolution de contraintes de logique temporelle

François Fages; Aurèlien Rizk

Analyse de sèries temporelles par rèsolution de contraintes de logique temporelle

Translated title of the contribution: Time series analysis by solving temporal logic constraint

François Fages
, Aurèlien Rizk

École Polytechnique

INRIA Institut National de Recherche en Informatique et en Automatique

Research output: Contribution to conference › Paper › peer-review

Translated title of the contribution	Time series analysis by solving temporal logic constraint
Original language	French
Pages	1-10
Number of pages	10
Publication status	Published - 1 Dec 2008
Event	Quatriemes Journees Francophones de Programmation par Contraintes, JFPC 2008 - 4th French Speaking Conference on Constraint Programming, JFPC 2008 - Nantes, France Duration: 4 Jun 2008 → 6 Jun 2008

Conference

Conference	Quatriemes Journees Francophones de Programmation par Contraintes, JFPC 2008 - 4th French Speaking Conference on Constraint Programming, JFPC 2008
Country/Territory	France
City	Nantes
Period	4/06/08 → 6/06/08

Cite this

@conference{83087fd2c51742e9a3dc80f363020251,

title = "Analyse de s{\`e}ries temporelles par r{\`e}solution de contraintes de logique temporelle",

author = "Fran{\c c}ois Fages and Aur{\`e}lien Rizk",

year = "2008",

month = dec,

day = "1",

language = "Fran{\c c}ais",

pages = "1--10",

note = "Quatriemes Journees Francophones de Programmation par Contraintes, JFPC 2008 - 4th French Speaking Conference on Constraint Programming, JFPC 2008 ; Conference date: 04-06-2008 Through 06-06-2008",

}

Analyse de sèries temporelles par rèsolution de contraintes de logique temporelle. / Fages, François; Rizk, Aurèlien.
2008. 1-10 Paper presented at Quatriemes Journees Francophones de Programmation par Contraintes, JFPC 2008 - 4th French Speaking Conference on Constraint Programming, JFPC 2008, Nantes, France.

Research output: Contribution to conference › Paper › peer-review

TY - CONF

T1 - Analyse de sèries temporelles par rèsolution de contraintes de logique temporelle

AU - Fages, François

AU - Rizk, Aurèlien

PY - 2008/12/1

Y1 - 2008/12/1

UR - https://www.scopus.com/pages/publications/84876169661

M3 - Papier

AN - SCOPUS:84876169661

SP - 1

EP - 10

T2 - Quatriemes Journees Francophones de Programmation par Contraintes, JFPC 2008 - 4th French Speaking Conference on Constraint Programming, JFPC 2008

Y2 - 4 June 2008 through 6 June 2008

ER -

Analyse de sèries temporelles par rèsolution de contraintes de logique temporelle

Conference

Other files and links

Cite this