|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 40 occurrences of 35 keywords
|
|
|
Results
Found 27 publication records. Showing 26 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
77 | Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue |
Directed Explicit Model Checking with HSF-SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 57-79, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
64 | Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin |
An Overrun Method to Support Composition of Semi-independent Real-Time Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1347-1352, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Logical resource sharing, Real time systems, Composition, Hierarchical scheduling |
64 | Jeremy Shopf, Marc Olano |
Procedural haptic texture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology, Montreux, Switzerland, October 15-18, 2006, pp. 179-186, 2006, ACM, 1-59593-313-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
virtual reality, haptics, interface, texturing, shading, haptic interaction, haptic texture |
51 | Hamish HSF., Michael Mugisha, Janise K. Richards, Wayne Chelliah, Joseph Ngenzi, Eric Gaju, Aline Umubyeyi |
A System for Monitoring Stability, Usage and Data Completeness in OpenMRS Electronic Health Records in Rural Rwanda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2017, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 4-8, 2017, 2017, AMIA. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
50 | Yanran Shen, Hong Lu 0001, Xiangyang Xue |
A Semi-automatic Feature Selecting Method for Sports Video Highlight Annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISUAL ![In: Advances in Visual Information Systems, 9th International Conference, VISUAL 2007, Shanghai, China, June 28-29, 2007 Revised Selected Papers, pp. 38-48, 2007, Springer, 978-3-540-76413-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
highlight annotation, PFS, CMDV, HSF, hierarchical annotation, Mean Shift, Sports video, CMS, EMD |
42 | Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin |
Scheduling of semi-independent real-time components: Overrun methods and resource holding times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, pp. 575-582, 2008, IEEE, 1-4244-1505-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Directed explicit-state model checking in the validation of communication protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(2-3), pp. 247-267, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Directed search, Protocol validation |
35 | Ruslan Mashinistov, Lino Gerlach, Paul Laycock, Andrea Formica, Giacomo Govi, Chris Pinkenburg |
The HSF Conditions Database Reference Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.16274, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
35 | Clement Poiret, Antoine Bouyeure, Sandesh Patil, Antoine Grigis, Edouard Duchesnay, Matthieu Faillot, Michel Bottlaender, Frederic Lemaitre, Marion Noulhiane |
A fast and robust hippocampal subfields segmentation: HSF revealing lifespan volumetric dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Neuroinformatics ![In: Frontiers Neuroinformatics 17, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Zengwei Yao, Zihao Wang, Weihuang Liu, Yaqian Liu, Jiahui Pan |
Speech emotion recognition using fusion of three multi-task learning-based classifiers: HSF-DNN, MS-CNN and LLD-RNN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Speech Commun. ![In: Speech Commun. 120, pp. 11-19, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
35 | Pedro Real 0001, Helena Molina-Abril, Fernando Díaz-del-Río, Sergio Blanco-Trejo |
Homological Region Adjacency Tree for a 3D Binary Digital Image via HSF Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP (1) ![In: Computer Analysis of Images and Patterns - 18th International Conference, CAIP 2019, Salerno, Italy, September 3-5, 2019, Proceedings, Part I, pp. 375-387, 2019, Springer, 978-3-030-29887-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Qingpeng Li, Lichao Mou, Qingjie Liu, Yunhong Wang, Xiao Xiang Zhu 0001 |
HSF-Net: Multiscale Deep Feature Embedding for Ship Detection in Optical Remote Sensing Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 56(12), pp. 7147-7161, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Jaroslaw Smieja, Malgorzata Kardynska, Anna Naumowicz, Patryk Janus, Piotr Widlak, Marek Kimmel |
In Silico Analysis of Interactions Between NFkB and HSF Pathways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOINFORMATICS ![In: BIOINFORMATICS 2015 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Lisbon, Portugal, 12-15 January, 2015., pp. 201-206, 2015, SciTePress, 978-989-758-070-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
35 | Sergey Grebenshchikov, Ashutosh Gupta 0001, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, pp. 549-551, 2012, Springer, 978-3-642-28755-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Ronald Bhuleskar, Anoop Sherlekar, Anala Pandit |
Hybrid Spam E-mail Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICSyN ![In: First International Conference on Computational Intelligence, Communication Systems and Networks, CICSYN 2009, Indore, India, 23-25 July, 2009, pp. 302-307, 2009, IEEE Computer Society, 978-0-7695-3743-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
HSF, spam coefficient, legitimate coefficient, whitelist, forging, spam mean, Self Improvisation, self learning technique, Filter, Filtering, Spam, Email, Hybrid, content based filtering, Parallel model, blacklist |
28 | Enrique Alba 0001, Francisco Chicano |
Searching for liveness property violations in concurrent systems with ACO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 1727-1734, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
HSF-SPIN, ant colony optimization, metaheuristics, SPIN, liveness properties |
28 | Enrique Alba 0001, Francisco Chicano |
Finding safety errors with ACO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 1066-1073, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
HSF-SPIN, ant colony optimization, metaheuristics, SPIN |
28 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Partial-order reduction and trail improvement in directed model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(4), pp. 277-301, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction |
21 | Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente |
Partial-order reduction for general state exploring algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(1), pp. 39-51, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Moris Behnam, Thomas Nolte, Reinder J. Bril |
Refining SIRAP with a dedicated resource ceiling for self-blocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 157-166, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SIRAP, real-time open systems, real-time subsystem integration, resource-sharing, hierarchical scheduling, synchronization protocol |
21 | Mladen Stanojevic, Sanja Vranes |
Applying Neural Networks to Knowledge Representation and Determination of Its Meaning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BVAI ![In: Advances in Brain, Vision, and Artificial Intelligence, Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007, Proceedings, pp. 523-532, 2007, Springer, 978-3-540-75554-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Localist Approach, Neural Networks, Knowledge Representation, Natural Language |
21 | Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente |
Partial-Order Reduction for General State Exploring Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 271-287, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Shahid Jabbar, Stefan Edelkamp |
Parallel External Directed Model Checking with Linear I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings, pp. 237-251, 2006, Springer, 3-540-31139-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Sylvain Brugnot, Marie L. Smith, Philippe G. Schyns |
Seamless perceptual morphing using continuous hybrids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APGV ![In: Proceedings of the 2nd Symposium on Applied Perception in Graphics and Visualization, APGV 2005, A Coruña, Spain, August 26-28, 2005, pp. 154, 2005, ACM, 1-59593-139-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Shahid Jabbar, Stefan Edelkamp |
I/O Efficient Directed Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 313-329, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | D. G. McVitie, L. B. Wilson |
The Stable Marriage Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 14(7), pp. 486-490, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|