Search results for "MSL"

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.	IPMI	2009	DBLP DOI BibTeX RDF
179	Masoomeh Rudafshani, Suprakash Datta	Localization in wireless sensor networks.	IPSN	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.	SpringSim	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.	ACM Great Lakes Symposium on VLSI	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.	CVPR	2007	DBLP DOI BibTeX RDF
80	Fouad El-Aker, Amer Al-Badarneh	MSL: An Efficient Adaptive In-Place Radix Sort Algorithm.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
72	P. Krishna Reddy, Masaru Kitsuregawa	Speculative Lock Management to Increase Concurrency in Mobile Environments.	MDA	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.	EPIA	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.	IPAS	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.	ICRA	2007	DBLP DOI BibTeX RDF
54	Ekaterina Komendantskaya	A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation.	TABLEAUX	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.	SIGMOD Conference	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.	ICIIS	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.	MICCAI (1)	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.	ICCV	2007	DBLP DOI BibTeX RDF
36	Aiqiang Gao, Dongqing Yang, Shiwei Tang	Web Service Composition Based on Message Schema Analysis.	DASFAA	2007	DBLP DOI BibTeX RDF
36	Andrea Bonarini, Daniele Lavatelli, Matteo Matteucci	A Composite System for Real-Time Robust Whistle Recognition.	RoboCup	2005	DBLP DOI BibTeX RDF
36	Fouad El-Aker	Fast In-place Integer Radix Sorting.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
36	Francesco Bellotti, Riccardo Berta, Alessandro De Gloria, Massimiliano Margarone	Supporting Efficient Design of Mobile HCI.	Mobile HCI	2003	DBLP DOI BibTeX RDF
36	Andrea Bonarini	Medium Size League: 2002 Assessment and Achievements.	RoboCup	2002	DBLP DOI BibTeX RDF
32	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	Model checking XML manipulating software.	ISSTA	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.	Proc. ACM Program. Lang.	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.	Remote. Sens.	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.	CoRR	2023	DBLP DOI BibTeX RDF
26	Dan Kohen-Vacs, Meital Amzalag	Re-embracing MSL approaches in realities of emergent conditions.	Res. Pract. Technol. Enhanc. Learn.	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.	iWOAR	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.	Neural Comput. Appl.	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.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
26	Jerome Jochems, Eddie Jones, Steven J. Ramsay	Higher-Order MSL Horn Constraints.	CoRR	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.	CoRR	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.	ICIP	2022	DBLP DOI BibTeX RDF
26	Leo van Schooten, Marco Alonso, Ronald Wiericx, Mathijs Schuts	From MSL to Dezyne: an Industrial Application Of QVTo.	FedCSIS (Communication Papers)	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.	ACM Multimedia	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.	CoRR	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.	Soft Comput.	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.	BIOINFORMATICS	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.	CoRR	2020	DBLP BibTeX RDF
26	Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra	MSL: A pattern language for engineering self-adaptive systems.	J. Syst. Softw.	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.	J. Robotics Netw. Artif. Life	2020	DBLP DOI BibTeX RDF
26	Isaias Frederick Januario, Álvaro R. Pereira	MSL-DE: A Lexical Substitution Method based on Dictionaries and Embeddings.	WebMedia	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.	ISER	2020	DBLP DOI BibTeX RDF
26	Valentin Gies, Thierry Soriano, Christopher Albert, Nicolas Prouteau	Modelling and Optimisation of a RoboCup MSL Coilgun.	RoboCup	2019	DBLP DOI BibTeX RDF
26	Zhilei Xu	MSL: a synthesis enabled language for distributed high performance computing implementations.		2016	RDF
26	Weishu Gong	Discussions on localization capabilities of MSL and MER rovers.	Ann. GIS	2015	DBLP DOI BibTeX RDF
26	Dusan Agrez, Tomaz Lusin, Damir Ilic	Nonparametric Estimation of the Phase Difference Using RV1 and MSL Windows.	IEEE Trans. Instrum. Meas.	2015	DBLP DOI BibTeX RDF
26	Zeeshan Ahmed 0001, Thomas Dandekar	MSL: Facilitating automatic and physical analysis of published scientific literature in PDF format.	F1000Research	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.	RoboCup	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.	ICIA	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.	RoboCup	2014	DBLP DOI BibTeX RDF
26	Robin Soetens, René van de Molengraft, Bernardo Cunha	RoboCup MSL - History, Accomplishments, Current Status and Challenges Ahead.	RoboCup	2014	DBLP DOI BibTeX RDF
26	Zhilei Xu, Shoaib Kamil 0001, Armando Solar-Lezama	MSL: A Synthesis Enabled Language for Distributed Implementations.	SC	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.	RoboCup	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).	J. Comput. Chem.	2012	DBLP DOI BibTeX RDF
26	Gil Lopes, A. Fernando Ribeiro, Nino Pereira	Catadioptric System Optimisation for Omnidirectional RoboCup MSL Robots.	RoboCup	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.	RoboCup	2011	DBLP DOI BibTeX RDF
26	Ming Li, Xiyou Su, Heming Zhang	The integration method research of MSL and collaborative simulation platform.	CSCWD	2011	DBLP DOI BibTeX RDF
26	Alessandro Aldini, Marco Bernardo 0001, Jeremy Sproston	Performability Measure Specification: Combining CSRL and MSL.	FMICS	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.	ICINCO-SPSMC	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.	ICINCO-RA (1)	2008	DBLP BibTeX RDF
26	Hemanth Sampath, Ranga Vemuri	MSL: A High-Level Language for Parameterized Analog and Mixed Signal Layout Generators.	VLSI-SOC	2003	DBLP BibTeX RDF
26	Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler	MSL: a model for W3C XML Schema.	Comput. Networks	2002	DBLP DOI BibTeX RDF
26	Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler	MSL - a model for W3C XML schema.	WWW	2001	DBLP DOI BibTeX RDF	XML
26	E. F. Elsworth	The MSL compiler writing project.	ACM SIGCSE Bull.	1992	DBLP DOI BibTeX RDF
26	V. P. Makarov	MSL - A Mathematical Specification Language.	LFCS	1992	DBLP DOI BibTeX RDF
26	Shamim A. Naqvi	MSL: a microprocessors systems language.	ACM-SE	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.	ICSE (2)	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.	OOPSLA Companion	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.	IROS	2009	DBLP DOI BibTeX RDF
18	Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce	Rule Systems for Runtime Verification: A Short Tutorial.	RV	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.	IEEE Trans. Medical Imaging	2008	DBLP DOI BibTeX RDF
18	Max Bajracharya, Mark W. Maimone, Daniel M. Helmick	Autonomy for Mars Rovers: Past, Present, and Future.	Computer	2008	DBLP DOI BibTeX RDF
18	Tomoki Nishi, Yasutake Takahashi, Minoru Asada	Incremental behavior acquisition based on reliability of observed behavior recognition.	IROS	2007	DBLP DOI BibTeX RDF
18	Terry Huntsberger, Abhijit Sengupta	Game theory basis for control of long-lived lunar/planetary surface robots.	Auton. Robots	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.	BIBE	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.	OOIS	2003	DBLP DOI BibTeX RDF
18	Gonçalo Neto, Hugo Costelha, Pedro U. Lima	Topological Navigation in Configuration Space Applied to Soccer Robots.	RoboCup	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.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF	XML
18	Patrick Njiwoua, Engelbert Mephu Nguifo	Exemplar-Based Prototype Selection for a Multi-Strategy Learning System.	ICTAI	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.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	robot task planning, many-sorted logic, object-oriented data model