|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Massimo Pacella, Quirico Semeraro |
Monitoring roundness profiles based on an unsupervised neural network algorithm.  |
Computers & Industrial Engineering  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio |
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
Formal Methods, Formal Verification, Temporal Logics, Experience, System Design, Production Systems, Finite-State Models |
| 1 | Massimo Pacella, Quirico Semeraro |
Understanding ART-based neural algorithms as statistical tools for manufacturing process quality control. |
Eng. Appl. of AI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Anglani, Antonio Grieco, Emanuela Guerriero, Francesco Nucci, Quirico Semeraro, Tullio Tolio |
Object-Oriented simulation models based on the DEVS formalism. |
ESM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alfredo Anglani, Pierpaolo Caricato, Antonio Grieco, Francesco Nucci, Andrea Matta, Quirico Semeraro, Tullio Tolio |
Evaluation of capacity expansion by means of fuzzy-DEVS. |
ESM |
2000 |
DBLP BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")