|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 39 occurrences of 34 keywords
|
|
|
Results
Found 80 publication records. Showing 79 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
179 | Yefeng Zheng 0001, Bogdan Georgescu, Dorin Comaniciu |
Marginal Space Learning for Efficient Detection of 2D/3D Anatomical Structures in Medical Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 21st International Conference, IPMI 2009, Williamsburg, VA, USA, July 5-10, 2009. Proceedings, pp. 411-422, 2009, Springer, 978-3-642-02497-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
179 | Masoomeh Rudafshani, Suprakash Datta |
Localization in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 6th International Conference on Information Processing in Sensor Networks, IPSN 2007, Cambridge, Massachusetts, USA, April 25-27, 2007, pp. 51-60, 2007, ACM, 978-1-59593-638-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, mobile, localization, lower bounds, Monte Carlo sampling |
103 | Nicolas H. Durland |
Defining mean sea level in military simulations with DTED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
DTED, EGM96, MSL, WGS-84, geoid |
103 | Raoul F. Badaoui, Hemanth Sampath, Anuradha Agarwal, Ranga Vemuri |
A high level language for pre-layout extraction in parasite-aware analog circuit synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004, pp. 271-276, 2004, ACM, 1-58113-853-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
MSL, pre-layout extraction, parasitics, analog VLSI |
80 | Shengye Yan, Shiguang Shan, Xilin Chen 0001, Wen Gao 0001, Jie Chen 0001 |
Matrix-Structural Learning (MSL) of Cascaded Classifier from Enormous Training Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 18-23 June 2007, Minneapolis, Minnesota, USA, 2007, IEEE Computer Society, 1-4244-1179-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
80 | Fouad El-Aker, Amer Al-Badarneh |
MSL: An Efficient Adaptive In-Place Radix Sort Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II, pp. 606-609, 2004, Springer, 3-540-22115-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
72 | P. Krishna Reddy, Masaru Kitsuregawa |
Speculative Lock Management to Increase Concurrency in Mobile Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDA ![In: Mobile Data Access, First International Conference, MDA'99, Hong Kong, China, December 16-17, 1999, Proceedings, pp. 82-96, 1999, Springer, 3-540-66878-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
62 | Nuno Lau, Luís Seabra Lopes, Nelson Filipe, Gustavo A. Corrente |
Roles, Positionings and Set Plays to Coordinate a RoboCup MSL Team. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings, pp. 323-337, 2009, Springer, 978-3-642-04685-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multi-robot team coordination, strategic positioning, dynamic role assignment, coordinated procedures |
54 | Hongyi Yang, Gregory Tsiklos, Ronaldo Ronaldo, Svetan M. Ratchev |
Application of Microstereolithography Technology in Micromanufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAS ![In: Micro-Assembly Technologies and Applications, IFIP TC5 WG5.5 Fourth International Precision Assembly Seminar (IPAS'2008), Chamonix, France, February 10-13, 2008, pp. 171-176, 2008, Springer, 978-0-387-77402-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
microstereolithography, micromanufacturing, assembly free process |
54 | Changhua Wu, Weihua Sheng, Ying Zhang |
Mobile Sensor Networks Self Localization based on Multi-dimensional Scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 4038-4043, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Ekaterina Komendantskaya |
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings, pp. 165-182, 2007, Springer, 978-3-540-73098-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Joachim Hammer, Hector Garcia-Molina, Svetlozar Nestorov, Ramana Yerneni, Markus M. Breunig, Vasilis Vassalos |
Template-Based Wrappers in the TSIMMIS System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1997, Proceedings ACM SIGMOD International Conference on Management of Data, May 13-15, 1997, Tucson, Arizona, USA., pp. 532-535, 1997, ACM Press, 978-0-89791-911-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
51 | Msl Gunarathne, Wmgm Wansekara, Ghi Wimalarathna, G. M. R. I. Godaliyadda, M. P. B. Ekanayake, J. V. Wijayakulasooriya, R. M. C. J. Rathnayake |
Fetal heart abnormality detection based on subspace separation and Wiener filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIIS ![In: 2017 IEEE International Conference on Industrial and Information Systems, ICIIS 2017, Peradeniya, Sri Lanka, December 15-16, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-1674-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
36 | Michael Wels, Yefeng Zheng 0001, Gustavo Carneiro 0001, Martin Huber 0001, Joachim Hornegger, Dorin Comaniciu |
Fast and Robust 3-D MRI Brain Structure Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009, 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II, pp. 575-583, 2009, Springer, 978-3-642-04270-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Yefeng Zheng 0001, Adrian Barbu, Bogdan Georgescu, Michael Scheuering, Dorin Comaniciu |
Fast Automatic Heart Chamber Segmentation from 3D CT Data Using Marginal Space Learning and Steerable Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE 11th International Conference on Computer Vision, ICCV 2007, Rio de Janeiro, Brazil, October 14-20, 2007, pp. 1-8, 2007, IEEE Computer Society, 978-1-4244-1630-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Aiqiang Gao, Dongqing Yang, Shiwei Tang |
Web Service Composition Based on Message Schema Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Advances in Databases: Concepts, Systems and Applications, 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007, Proceedings, pp. 918-923, 2007, Springer, 978-3-540-71702-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Andrea Bonarini, Daniele Lavatelli, Matteo Matteucci |
A Composite System for Real-Time Robust Whistle Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2005: Robot Soccer World Cup IX, pp. 130-141, 2005, Springer, 3-540-35437-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Fouad El-Aker |
Fast In-place Integer Radix Sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III, pp. 788-791, 2005, Springer, 3-540-26044-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Francesco Bellotti, Riccardo Berta, Alessandro De Gloria, Massimiliano Margarone |
Supporting Efficient Design of Mobile HCI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Human-Computer Interaction with Mobile Devices and Services, 5th International Symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003, Proceedings, pp. 241-255, 2003, Springer, 3-540-40821-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Andrea Bonarini |
Medium Size League: 2002 Assessment and Achievements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2002: Robot Soccer World Cup VI, pp. 460-468, 2002, Springer, 3-540-40666-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
Model checking XML manipulating software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004, pp. 252-262, 2004, ACM, 1-58113-820-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
MSL, web service, XML, model checking, XPath, XML schema, SPIN, promela |
26 | Jerome Jochems, Eddie Jones, Steven J. Ramsay |
Higher-Order MSL Horn Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 2017-2047, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Guobin Yu, Li Zhang, Lingxia Luo, Guihua Liu, Zongyi Chen, Shanshan Xiong |
Mapping Insect-Proof Screened Citrus Orchards Using Sentinel-2 MSl Time-Series Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(11), pp. 2867, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Nour Abdelmoneim, Dattaraj B. Dhuri, Dimitra Atri, Germán Martínez |
Expanding Mars Climate Modeling: Interpretable Machine Learning for Modeling MSL Relative Humidity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.01424, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Dan Kohen-Vacs, Meital Amzalag |
Re-embracing MSL approaches in realities of emergent conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Res. Pract. Technol. Enhanc. Learn. ![In: Res. Pract. Technol. Enhanc. Learn. 18, pp. 37, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kathinka von Möller, Rebecca Herzog, Christina Bolte, Alexander Münchau, Tobias Bäumer, Anne Weissbach |
The impact of cerebellar transcranial alternating current stimulation (tACS) and simultaneous motor network activation via motor sequence learning (MSL) on movements and muscle strength. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iWOAR ![In: Proceedings of the 8th international Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, iWOAR 2023, Lübeck, Germany, September 21-22, 2023, pp. 17:1-17:5, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Lin Zhang, Yue Zhou, Xiaofang Hu, Fan Sun, Shukai Duan |
MSL-MNN: image deraining based on multi-scale lightweight memristive neural network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 34(9), pp. 7299-7309, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Yue Qiu, Fang Wu, Jichong Yin, Chengyi Liu, Xianyong Gong, Andong Wang |
MSL-Net: An Efficient Network for Building Extraction from Aerial Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(16), pp. 3914, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Jerome Jochems, Eddie Jones, Steven J. Ramsay |
Higher-Order MSL Horn Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.14649, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Ye Liu, Lingfeng Qiao, Di Yin, Zhuoxuan Jiang, Xinghua Jiang, Deqiang Jiang, Bo Ren 0002 |
OS-MSL: One Stage Multimodal Sequential Link Framework for Scene Segmentation and Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.01241, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Xiangshuai Pan, Weifeng Liu 0001, Yanjiang Wang 0001, Xiaoping Lu, Baodi Liu |
MSL-FER: Mirrored Self-Supervised Learning for Facial Expression Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: 2022 IEEE International Conference on Image Processing, ICIP 2022, Bordeaux, France, 16-19 October 2022., pp. 1601-1605, 2022, IEEE, 978-1-6654-9621-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Leo van Schooten, Marco Alonso, Ronald Wiericx, Mathijs Schuts |
From MSL to Dezyne: an Industrial Application Of QVTo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS (Communication Papers) ![In: Communication Papers of the 17th Conference on Computer Science and Intelligence Systems, FedCSIS 2022, Sofia, Bulgaria, September 4-7, 2022., pp. 339-348, 2022, 978-83-965897-4-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Ye Liu, Lingfeng Qiao, Di Yin, Zhuoxuan Jiang, Xinghua Jiang, Deqiang Jiang, Bo Ren 0002 |
OS-MSL: One Stage Multimodal Sequential Link Framework for Scene Segmentation and Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10 - 14, 2022, pp. 6269-6277, 2022, ACM, 978-1-4503-9203-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Paul Horton, Hannah Rae Kerner, Samantha Jacob, Ernest Cisneros, Kiri L. Wagstaff, James F. Bell |
Integrating Novelty Detection Capabilities with MSL Mastcam Operations to Enhance Data Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.12815, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Mohamed Aktham Ahmed, B. B. Zaidan, A. A. Zaidan 0001, Abdullah Hussein Alamoodi, Osamah Shihab Albahri, Z. T. Al-qaysi, Ahmed Shihab Albahri, Mahmood Maher Salih |
Real-time sign language framework based on wearable device: analysis of MSL, DataGlove, and gesture recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 25(16), pp. 11101-11122, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Teodora Gerasimoska, Milka Ljoncheva, Monika Simjanoska |
MSL-ST: Development of Mass Spectral Library Search Tool to Enhance Compound Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOINFORMATICS ![In: Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2021, Volume 3: BIOINFORMATICS, Online Streaming, February 11-13, 2021., pp. 195-203, 2021, SCITEPRESS, 978-989-758-490-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin Ramtoula, Adam Caccavale, Giovanni Beltrame, Mac Schwager |
MSL-RAPTOR: A 6DoF Relative Pose Tracker for Onboard Robotic Perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.09264, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
MSL: A pattern language for engineering self-adaptive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 164, pp. 110558, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Kaori Watanabe, Yuehang Ma, Hidekazu Suzuki |
Real-time Self-localization using Model-based Matching for Autonomous Robot of RoboCup MSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics Netw. Artif. Life ![In: J. Robotics Netw. Artif. Life 7(2), pp. 98-102, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Isaias Frederick Januario, Álvaro R. Pereira |
MSL-DE: A Lexical Substitution Method based on Dictionaries and Embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebMedia ![In: WebMedia '20: Brazillian Symposium on Multimedia and the Web, São Luís, Brazil, November 30 - December 4, 2020, pp. 341-348, 2020, ACM, 978-1-4503-8196-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin Ramtoula, Adam Caccavale, Giovanni Beltrame, Mac Schwager |
MSL-RAPTOR: A 6DoF Relative Pose Tracker for Onboard Robotic Perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISER ![In: Experimental Robotics - The 17th International Symposium, ISER 2020, La Valletta, Malta, November 9-12, 2020 (postponed to 2021)., pp. 520-532, 2020, Springer, 978-3-030-71150-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Valentin Gies, Thierry Soriano, Christopher Albert, Nicolas Prouteau |
Modelling and Optimisation of a RoboCup MSL Coilgun. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2019: Robot World Cup XXIII [Sydney, NSW, Australia, July 8, 2019]., pp. 71-85, 2019, Springer, 978-3-030-35698-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Zhilei Xu |
MSL: a synthesis enabled language for distributed high performance computing implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
26 | Weishu Gong |
Discussions on localization capabilities of MSL and MER rovers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. GIS ![In: Ann. GIS 21(1), pp. 69-79, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Dusan Agrez, Tomaz Lusin, Damir Ilic |
Nonparametric Estimation of the Phase Difference Using RV1 and MSL Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 64(6), pp. 1405-1412, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Zeeshan Ahmed 0001, Thomas Dandekar |
MSL: Facilitating automatic and physical analysis of published scientific literature in PDF format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F1000Research ![In: F1000Research 4, pp. 1453, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Xueyan Wang, Peng Zhao, Shiyu Mou, Di Zhu, Jieming Zhou, Dongbiao Sun, Song Chen, Zhe Zhu, Ye Tian, Zongyi Zhang, Ye Lv, Xinxin Xu, Wanjie Zhang, Kang Wu, Binbin Li, Yuan Li, Abudouyimujiang Kader, Yiheng Su, Chenyu Wang |
The Goalkeeper Strategy of RoboCup MSL Based on Dual Image Source. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2015: Robot World Cup XIX [papers from the 19th Annual RoboCup International Symposium, Hefei, China, July 23, 2015]., pp. 165-174, 2015, Springer, 978-3-319-29338-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Xianglin Yang, Zhiwen Zeng, Junhao Xiao, Zhiqiang Zheng |
Trajectory planning for RoboCup MSL mobile robots based on Bézier curve and Voronoi diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIA ![In: IEEE International Conference on Information and Automation, ICIA 2015, Lijiang, China, August 8-10, 2015, pp. 2552-2557, 2015, IEEE, 978-1-4673-9104-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | César A. López Martínez, Ferry Schoenmakers, Gerrit J. L. Naus, Koen Meessen, Yanick Douven, Harrie van de Loo, Dennis Bruijnen, Wouter H. T. M. Aangenent, Joost Groenen, Bob van Ninhuijs, Matthias Briegel, Rob Hoogendijk, Patrick van Brakel, Rob van den Berg, Okke Hendriks, René Arts, Frank Botden, Wouter Houtman, Marjon van't Klooster, Jeroen van der Velden, Camiel Beeren, Lotte de Koning, Olaf Klooster, Robin Soetens, René van de Molengraft |
Tech United Eindhoven, Winner RoboCup 2014 MSL - Middle Size League. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2014: Robot World Cup XVIII [papers from the 18th Annual RoboCup International Symposium, João Pessoa, Brazil, July 15, pp. 60-69, 2014, Springer, 978-3-319-18614-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Robin Soetens, René van de Molengraft, Bernardo Cunha |
RoboCup MSL - History, Accomplishments, Current Status and Challenges Ahead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2014: Robot World Cup XVIII [papers from the 18th Annual RoboCup International Symposium, João Pessoa, Brazil, July 15, pp. 624-635, 2014, Springer, 978-3-319-18614-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Zhilei Xu, Shoaib Kamil 0001, Armando Solar-Lezama |
MSL: A Synthesis Enabled Language for Distributed Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2014, New Orleans, LA, USA, November 16-21, 2014, pp. 311-322, 2014, IEEE Computer Society, 978-1-4799-5500-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Paulo Trigueiros, A. Fernando Ribeiro, Luís Paulo Reis |
Vision Based Referee Sign Language Recognition System for the RoboCup MSL League. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2013: Robot World Cup XVII [papers from the 17th Annual RoboCup International Symposium, Eindhoven, The Netherlands, July 1, 2013]., pp. 360-372, 2013, Springer, 978-3-662-44467-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Daniel W. Kulp, Sabareesh Subramaniam, Jason E. Donald, Brett T. Hannigan, Benjamin K. Mueller, Gevorg Grigoryan, Alessandro Senes |
Structural informatics, modeling, and design with an open-source Molecular Software Library (MSL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 33(20), pp. 1645-1661, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Gil Lopes, A. Fernando Ribeiro, Nino Pereira |
Catadioptric System Optimisation for Omnidirectional RoboCup MSL Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2011: Robot Soccer World Cup XV [papers from the 15th Annual RoboCup International Symposium, Istanbul, Turkey, July 2011], pp. 318-328, 2011, Springer, 978-3-642-32059-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | A. Fernando Ribeiro, Gil Lopes, Bruno Pereira, João M. Silva, Paulo Ribeiro, João Costa, Sérgio Silva, João Rodrigues, Paulo Trigueiros |
Robot Orientation with Histograms on MSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2011: Robot Soccer World Cup XV [papers from the 15th Annual RoboCup International Symposium, Istanbul, Turkey, July 2011], pp. 507-514, 2011, Springer, 978-3-642-32059-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Ming Li, Xiyou Su, Heming Zhang |
The integration method research of MSL and collaborative simulation platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 2011 15th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2011, June 8-10, 2011, Lausanne, Switzerland, pp. 29-33, 2011, IEEE, 978-1-4577-0387-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Alessandro Aldini, Marco Bernardo 0001, Jeremy Sproston |
Performability Measure Specification: Combining CSRL and MSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings, pp. 165-179, 2011, Springer, 978-3-642-24430-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Eduardo Sebastián, Carlos Armiens, Javier Gómez-Elvira |
Analysis of REMS GTS Errors Due to MSL Rover and Martian Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO-SPSMC ![In: ICINCO 2008, Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics, Signal Processing, Systems Modeling and Control, Funchal, Madeira, Portugal, May 11-15, 2008, pp. 205-210, 2008, INSTICC Press, 978-989-8111-32-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
26 | J. Verdasca, J.-A. Manfredi, Verónica Peinado |
Detecting Transient Weather Phenomena on Mars - An Overview of the Design and Calibration of Multiparametric Detection Algorithms for the REMS/MSL Mission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO-RA (1) ![In: ICINCO 2008, Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics, Robotics and Automation 1, Funchal, Madeira, Portugal, May 11-15, 2008, pp. 311-316, 2008, INSTICC Press, 978-989-8111-31-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
26 | Hemanth Sampath, Ranga Vemuri |
MSL: A High-Level Language for Parameterized Analog and Mixed Signal Layout Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SOC ![In: IFIP VLSI-SoC 2003, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Darmstadt, Germany, 1-3 December 2003, pp. 416-421, 2003, Technische Universität Darmstadt, Insitute of Microelectronic Systems, 3-901882-17-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
26 | Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler |
MSL: a model for W3C XML Schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 39(5), pp. 507-521, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler |
MSL - a model for W3C XML schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Tenth International World Wide Web Conference, WWW 10, Hong Kong, China, May 1-5, 2001, pp. 191-200, 2001, ACM, 1-58113-348-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
XML |
26 | E. F. Elsworth |
The MSL compiler writing project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 24(2), pp. 41-44, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | V. P. Makarov |
MSL - A Mathematical Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings, pp. 305-313, 1992, Springer, 3-540-55707-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Shamim A. Naqvi |
MSL: a microprocessors systems language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-SE ![In: Proceedings of the 16th Annual Southeast Regional Conference, ACM-SE 1978, Atlanta, Georgia, USA, April 13-15, 1978, pp. 11-15, 1978, ACM, 978-1-4503-7332-6. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
18 | Alex Groce, Klaus Havelund, Margaret H. Smith |
From scripts to specifications: the evolution of a flight software testing effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 129-138, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
development practices, space flight software, test infrastructure, testing, temporal logic, Python, logs, runtime verification |
18 | Damian Dechev, Bjarne Stroustrup |
Scalable nonblocking concurrent objects for mission critical code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 597-610, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ABA problem prevention, autonomous space software, C++, software transactional memory, nonblocking synchronization |
18 | Nau Lau, Luís Seabra Lopes, Gustavo A. Corrente, Nelson Filipe |
Multi-robot team coordination through roles, positionings and coordinated procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 5841-5848, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce |
Rule Systems for Runtime Verification: A Short Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, pp. 1-24, 2009, Springer, 978-3-642-04693-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java, temporal logic, Python, AspectJ, Runtime verification, log file analysis, code instrumentation, rule systems |
18 | Yefeng Zheng 0001, Adrian Barbu, Bogdan Georgescu, Michael Scheuering, Dorin Comaniciu |
Four-Chamber Heart Modeling and Automatic Segmentation for 3-D Cardiac CT Volumes Using Marginal Space Learning and Steerable Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 27(11), pp. 1668-1681, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Max Bajracharya, Mark W. Maimone, Daniel M. Helmick |
Autonomy for Mars Rovers: Past, Present, and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 41(12), pp. 44-50, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Tomoki Nishi, Yasutake Takahashi, Minoru Asada |
Incremental behavior acquisition based on reliability of observed behavior recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 70-75, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Terry Huntsberger, Abhijit Sengupta |
Game theory basis for control of long-lived lunar/planetary surface robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 20(2), pp. 85-95, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
All terrain mobility, Game theory, Mobile robots, Robot control, Reconfigurable robots |
18 | Zhen Zhu, Jin Fei, Ioannis T. Pavlidis |
Tracking Human Breath in Infrared Imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Fifth IEEE International Symposium on Bioinformatic and Bioengineering (BIBE 2005), 19-21 October 2005, Minneapolis, MN, USA, pp. 227-231, 2005, IEEE Computer Society, 0-7695-2476-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Tae-Dong Lee, Bom-Jae Jeon, Chang-Sung Jeong, Sang-Yong Choi |
RISA: Object-Oriented Modeling and Simulation of Real-Time Distributed System for Air Defense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Object-Oriented Information Systems, 9th International Conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003, Proceedings, pp. 346-355, 2003, Springer, 3-540-40860-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Gonçalo Neto, Hugo Costelha, Pedro U. Lima |
Topological Navigation in Configuration Space Applied to Soccer Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2003: Robot Soccer World Cup VII, pp. 551-558, 2003, Springer, 3-540-22443-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Chaitanya K. Baru, Amarnath Gupta, Bertram Ludäscher, Richard Marciano, Yannis Papakonstantinou, Pavel E. Velikhov, Vincent Chu |
XML-Based Information Mediation with MIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1999, Proceedings ACM SIGMOD International Conference on Management of Data, June 1-3, 1999, Philadelphia, Pennsylvania, USA., pp. 597-599, 1999, ACM Press, 1-58113-084-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
XML |
18 | Patrick Njiwoua, Engelbert Mephu Nguifo |
Exemplar-Based Prototype Selection for a Multi-Strategy Learning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 11th IEEE International Conference on Tools with Artificial Intelligence, ICTAI '99, Chicago, Illinois, USA, November 8-10, 1999, pp. 37-, 1999, IEEE Computer Society, 0-7695-0456-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Multi-strategy Learning, IBL, Concept Lattice, Prototype Selection |
18 | Y. P. Chien, Anand V. Hudli, Mathew Palakal |
Using Many-Sorted Logic in the Object-Oriented Data Model for Fast Robot Task Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 23(1), pp. 1-25, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
robot task planning, many-sorted logic, object-oriented data model |
Displaying result #1 - #79 of 79 (100 per page; Change: )
|
|