|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
87 | Pao-Ann Hsiung, Shang-Wei Lin 0001, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao |
Model Checking Timed Systems with Urgencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 67-81, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
86 | Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent |
Timed Extensions for SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings, pp. 223-240, 2001, Springer, 3-540-42281-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
timed automata, SDL, time semantics, urgencies |
62 | Ivan B. Vermeulen, Sander M. Bohté, Peter A. N. Bosman, Sylvia G. Elkhuizen, Piet J. M. Bakker, Johannes A. La Poutré |
Optimization of Online Patient Scheduling with Urgencies and Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings, pp. 71-80, 2009, 978-3-642-02975-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Bruno Bouzy, Guillaume Chaslot |
Monte-Carlo Go Reinforcement Learning Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIG ![In: Proceedings of the 2006 IEEE Symposium on Computational Intelligence and Games (CIG06), University of Nevada, Reno, USA, campus in Reno/Lake Tahoe, 22-24 May, 2006, pp. 187-194, 2006, IEEE, 1-4244-0464-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Oton Crispim Braga, Francisco Milton Mendes Neto, Antônio Mauro Barbosa de Oliveira, Raimundo Valter Costa Filho |
Smart "health of things": a model based in data mining for an IoT health system used in hospital and home urgencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebMedia ![In: Proceedings of the 25th Brazillian Symposium on Multimedia and the Web, WebMedia 2019, Rio de Janeiro, Brazil, October 29 - November 01, 2019, pp. 89-92, 2019, ACM, 978-1-4503-6763-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Noyan Ilk, Michael J. Brusco, Paulo B. Góes |
Workforce management in omnichannel service centers with heterogeneous channel response urgencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 105, pp. 13-23, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
37 | Byung Hoon Oh, Kwangyeon Kim, Han-Lim Choi, Inseok Hwang 0002 |
Cooperative Multiple Agent-Based Algorithm for Evacuation Planning for Victims with Different Urgencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Aerosp. Inf. Syst. ![In: J. Aerosp. Inf. Syst. 15(6), pp. 382-395, June 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Birgitta Lindström, A. Jefferson Offutt, Sten F. Andler |
Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 112-120, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Mohammed Eltayeb, Atakan Dogan, Füsun Özgüner |
Extended Partial Path Heuristic for Real-Time Staging in Oversubscribed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings, pp. 942-951, 2003, Springer, 3-540-20409-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|