|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alban Grastien, Gianluca Torta |
A Theory of Abstraction for Diagnosis of Discrete-Event Systems.  |
SARA  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alban Grastien, Gianluca Torta |
Reformulation for the Diagnosis of Discrete-Event Systems. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Daniel Damir Harabor, Alban Grastien |
Online Graph Pruning for Pathfinding On Grid Maps. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alban Grastien, Anbulagan |
Diagnostic de systèmes à événements discrets à base de cohérence par SAT. |
Revue d'Intelligence Artificielle |
2010 |
DBLP BibTeX RDF |
|
| 1 | Anbulagan, Alban Grastien |
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Priscilla Kan John, Alban Grastien |
Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alban Grastien, Anbulagan |
Incremental Diagnosis of DES by Satisfiability. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Odile Cordier, Alban Grastien |
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jussi Rintanen, Alban Grastien |
Diagnosability Testing with Satisfiability Algorithms. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva |
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alban Grastien, Marie-Odile Cordier, Christine Largouët |
Incremental Diagnosis of Discrete-Event Systems. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alban Grastien, Marie-Odile Cordier, Christine Largouët |
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alban Grastien, Marie-Odile Cordier, Christine Largouët |
First Steps Towards Incremental Diagnosis of Discrete-Event Systems. |
Canadian Conference on AI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhong Yan, Marie-Odile Cordier, Yannick Pencolé, Alban Grastien |
MonitoringWeb Service Networks in a Model-based Approach. |
ECOWS |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")