Search results for "pathfinder"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
104	Cees Snoek, Marcel Worring, Jan-Mark Geusebroek, Dennis C. Koelma, Frank J. Seinstra, Arnold W. M. Smeulders	The Semantic Pathfinder: Using an Authoring Metaphor for Generic Multimedia Indexing.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	pattern recognition, benchmarking, Video analysis, concept learning, multimedia information systems, content analysis and indexing
99	Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal	PathFinder: A Tool for Design Exploration.	CAV	2002	DBLP DOI BibTeX RDF	Model Checking, Debugging, Design Exploration, PathFinder
90	Cees G. M. Snoek, Marcel Worring, Jan-Mark Geusebroek, Dennis C. Koelma, Frank J. Seinstra, Arnold W. M. Smeulders	The Semantic Pathfinder for Generic News Video Indexing.	ICME	2006	DBLP DOI BibTeX RDF
62	Kurt Luther, Scott Counts, Kristin Brooke Stecher, Aaron Hoff, Paul Johns	Pathfinder: an online collaboration environment for citizen scientists.	CHI	2009	DBLP DOI BibTeX RDF	wiki, online communities, social computing, sustainability, online collaboration, social data analysis, citizen science
62	Larry McMurchie, Carl Ebeling	PathFinder: A Negotiation-based Performance-driven Router for FPGAs.	FPGA	1995	DBLP DOI BibTeX RDF
56	Tihomir Gvero, Milos Gligoric 0001, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid	State extensions for java pathfinder.	ICSE	2008	DBLP DOI BibTeX RDF	delta execution, jpf, mixed execution, java pathfinder
56	Erzsébet Merényi, William H. Farrand, Philip Tracadas	Mapping Surface Materials on Mars from Mars Pathfinder Spectral Images with HYPEREYE.	ITCC (2)	2004	DBLP DOI BibTeX RDF	Martian surface, Mars Pathfinder, spectral image analysis, Self-Organizing Map
56	Chaomei Chen, Steven A. Morris	Visualizing Evolving Networks: Minimum Spanning Trees versus Pathfinder Networks.	INFOVIS	2003	DBLP DOI BibTeX RDF	co-citation networks, Pathfinder networks, minimum spanning trees, network visualization, Network evolution
56	Keung-Chi Ng, Bruce Abramson	Consensus in a Multi-Expert System.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
51	Pavel Parízek, Frantisek Plásil	Partial Verification of Software Components: Heuristics for Environment Construction.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF	concurrency errors, model checking, static analysis, software components, Java PathFinder
48	Susan M. Stevens, Courtney C. Dornburg	Utilizing pathfinder in the design of an intranet website.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	web design/layout, human factors, semantic networks, card sorting
48	Torsten Grust, Manuel Mayr, Jan Rittinger, Sherif Sakr, Jens Teubner	A SQL: 1999 code generator for the pathfinder xquery compiler.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	relational databases, SQL, XQuery, relational algebra
48	Pavel Parízek, Frantisek Plásil, Jan Kofron	Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.	SEW	2006	DBLP DOI BibTeX RDF	cooperation of model checkers, model checking, software components, behavior protocols
48	George Gagaudakis, Paul L. Rosin, Chaomei Chen	Using CBIR and Pathfinder Networks for Image Database Visualization.	ICPR	2000	DBLP DOI BibTeX RDF
42	Melinda T. Gervasio, Janet L. Murdock	What were you thinking?: filling in missing dataflow through inference in learning from demonstration.	IUI	2009	DBLP DOI BibTeX RDF	knowledge-base inference, task learning, end-user programming, programming by demonstration, programming by example
39	Raphael Rubin, André DeHon	Timing-driven pathfinder pathology and remediation: quantifying and reducing delay noise in VPR-pathfinder.	FPGA	2011	DBLP DOI BibTeX RDF
39	Vicente P. Guerrero-Bote, Felipe Zapico-Alonso, María Eugenia Espinosa-Calvo, Rocío Gómez Crisóstomo, Félix de Moya Anegón	Binary Pathfinder: An improvement to the Pathfinder algorithm.	Inf. Process. Manag.	2006	DBLP DOI BibTeX RDF
37	Pavel Parízek, Nodir Yuldashev	Extraction of component-environment interaction model using state space traversal.	SAC	2010	DBLP DOI BibTeX RDF	software components, behavior protocols, Java PathFinder
37	Matt Staats, Corina S. Pasareanu	Parallel symbolic execution for structural test generation.	ISSTA	2010	DBLP DOI BibTeX RDF	parallel, symbolic execution, java pathfinder
37	Milos Gligoric 0001, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov	Test generation through programming in UDITA.	ICSE (1)	2010	DBLP DOI BibTeX RDF	Pex, UDITA, test filtering, test predicates, test generation, automated testing, test programs, Java PathFinder
37	Stephen Friedman, Allan Carroll, Brian Van Essen, Benjamin Ylvisaker, Carl Ebeling, Scott Hauck	SPR: an architecture-adaptive CGRA mapping tool.	FPGA	2009	DBLP DOI BibTeX RDF	modulo graph, spr, static sharing, clustering, scheduling, routing, placement, pathfinder
37	Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan 0001	Incremental state-space exploration for programs with dynamically allocated data.	ICSE	2008	DBLP DOI BibTeX RDF	jpf, model checking, incremental computation, state-space exploration, java pathfinder, j-sim
37	John R. Wright, Frank R. Hartman, Brian K. Cooper	Immersive Environment Technologies for Planetary Exploration.	VR	2001	DBLP DOI BibTeX RDF	Rover Control Workstation, JPL, visualization, terrain modelling, Immersive environments, Mars, Pathfinder
34	Saswat Anand, Corina S. Pasareanu, Willem Visser	JPF-SE: A Symbolic Execution Extension to Java PathFinder.	TACAS	2007	DBLP DOI BibTeX RDF
34	Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov	Optimized Execution of Deterministic Blocks in Java PathFinder.	ICFEM	2006	DBLP DOI BibTeX RDF
34	Vadim S. Mutilin	Concurrent Testing of Java Components Using Java PathFinder.	ISoLA	2006	DBLP DOI BibTeX RDF
34	Francesca Arcelli Fontana, Claudia Raibulet, Ivano Rigo, Luigi Ubezio	An Eclipse Plug-in for the Java PathFinder Runtime Verification System.	SEW	2006	DBLP DOI BibTeX RDF
34	Willem Visser, Peter C. Mehlitz	Model Checking Programs with Java PathFinder.	SPIN	2005	DBLP DOI BibTeX RDF
34	Gary Lindstrom, Peter C. Mehlitz, Willem Visser	Model Checking Real Time Java Using Java PathFinder.	ATVA	2005	DBLP DOI BibTeX RDF
34	Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid	Test input generation with java PathFinder.	ISSTA	2004	DBLP DOI BibTeX RDF	testing object-oriented programs, model checking, coverage, symbolic execution, red-black trees
34	A. E. Lindsey, Charles Pecheur	Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder.	TACAS	2004	DBLP DOI BibTeX RDF
34	Klaus Havelund, Thomas Pressburger	Model Checking JAVA Programs using JAVA PathFinder.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin
34	Howard D. White, Jan W. Buzydlowski, Xia Lin	Co-Cited Author Maps as Interfaces to Digital Libraries: Designing Pathfinder Networks in the Humanities.	IV	2000	DBLP DOI BibTeX RDF
34	Steven A. Stolper	Streamlined Design Approach Lands Mars Pathfinder.	IEEE Softw.	1999	DBLP DOI BibTeX RDF
28	Pavel Parízek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
28	Neha Rungta, Eric G. Mercer	Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.	PADTAD	2009	DBLP DOI BibTeX RDF	testing and verification tools, evaluation, benchmarks, empirical study, concurrent programs
28	Sujit Kumar Chakrabarti, Y. N. Srikant	Test sequence computation for regression testing of reactive systems.	ISEC	2008	DBLP DOI BibTeX RDF	NP-complete, regression testing, API, test sequence, test specification
28	Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape	Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.	ISSTA	2008	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
28	Torsten Grust, Jan Rittinger, Jens Teubner	eXrQuy: Order Indifference in XQuery.	ICDE	2007	DBLP DOI BibTeX RDF
28	Torsten Grust, Jan Rittinger, Jens Teubner	Data-intensive XQuery debugging with instant replay.	XIME-P	2007	DBLP DOI BibTeX RDF
28	Hanrong Wang, William J. Hubbard	Integrating Electronic Pathfinders in Digital Libraries: A Model for China.	ICADL	2004	DBLP DOI BibTeX RDF
28	Chaomei Chen, Ray J. Paul	Visualizing a Knowledge Domain's Intellectual Structure.	Computer	2001	DBLP DOI BibTeX RDF
28	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
28	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
28	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
28	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
28	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
28	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
23	Marcel Gort, Jason Helge Anderson	Reducing FPGA Router Run-Time through Algorithm and Architecture.	FPL	2011	DBLP DOI BibTeX RDF	fast CAD, scalable CAD, fast routing, FPGA, routing, CAD, SAT, Boolean Satisfiability, run-time, runtime, PathFinder
23	Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
23	Torsten Grust, Manuel Mayr, Jan Rittinger, Tom Schreiber	FERRY: database-supported program execution.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	ferry, pathfinder, sql:1999, linq
23	Joseph Sharit, Mario A. Hernández, Sara J. Czaja, Peter Pirolli	Investigating the Roles of Knowledge and Cognitive Abilities in Older Adult Information Seeking on the Web.	ACM Trans. Comput. Hum. Interact.	2008	DBLP DOI BibTeX RDF	Pathfinder networks, health information seeking, Internet, Human-computer interaction, search engines, mental models, older adults
23	Chaomei Chen	Structuring and Visualising the WWW by Generalised Similarity Analysis.	Hypertext	1997	DBLP DOI BibTeX RDF	pathfinder networks, sequential behavioural patterns, WWW, World Wide Web (WWW), structural analysis, information visualisation
23	Yorick Wilks, Dan Fass, Cheng-ming Guo, James E. McDonald, Tony Plate, Brian M. Slator	Providing machine tractable dictionary tools.	Mach. Transl.	1990	DBLP DOI BibTeX RDF	computational lexicography, machine tractable dictionaries, pathfinder networkds, preference semantics, semantic primitives, word-sense disambiguation
19	Wan Wu, Xu Liu 0018, Qiguang Yang, Jon C. Currey, Aron Bartle, Adam Thurston, Natividad Manalo-Smith, Yolanda L. Shea, Rajendra Bhatt	The Angular Correction Algorithm for the Intercalibration of Satellite Instruments Using CLARREO Pathfinder as a Reference.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
19	Cosimo Della Santina, Carlos Hernández Corbato, Burak Sisman, Luis A. Leiva, Ioannis Arapakis, Michalis Vakalellis, Jean Vanderdonckt, Luis Fernando D'Haro, Guido Manzi, Cristina Becchio, Aïda Elamrani, Mohsen Alirezaei, Ginevra Castellano, Dimos V. Dimarogonas, Arabinda Ghosh, Sofie Haesaert, Sadegh Soudjani, Sybert Stroeve, Paul F. M. J. Verschure, Davide Bacciu, Ophelia Deroy, Bahador Bahrami, Claudio Gallicchio, Sabine Hauert, Ricardo Sanz, Pablo Lanillos, Giovanni Iacca, Stephan Sigg, Manel Gasulla, Luc Steels, Carles Sierra	Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside".	CoRR	2024	DBLP DOI BibTeX RDF
19		Retraction Note: Optimization of FRP jacket by fractional-order pathfinder algorithm to improve the reinforced concrete frames' seismic response.	Evol. Syst.	2024	DBLP DOI BibTeX RDF
19	Zhen Pan, Feipeng Huang, Xin Lin, Ming Yu	Construction of new energy consumption optimization model based on improved pathfinder algorithm.	Energy Inform.	2024	DBLP DOI BibTeX RDF
19	Hosein Yavarzadeh, Archit Agarwal, Max Christman, Christina Garman, Daniel Genkin, Andrew Kwong, Daniel Moghimi, Deian Stefan, Kazem Taram, Dean M. Tullsen	Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor.	ASPLOS (3)	2024	DBLP DOI BibTeX RDF
19	Lin Jia, James Patrick Mcmahon, Sumanth Gudaparthi, Shreyas Singh, Rajeev Balasubramonian	PATHFINDER: Practical Real-Time Learning for Data Prefetching.	ASPLOS (3)	2024	DBLP DOI BibTeX RDF
19	Sishi Zhang, Xinyi Shang, Lanjing Li, Ying Zhang, Xiaoxu Wu, Fengming Hui, Huabing Huang, Xiao Cheng 0001	An On-Orbit Relative Sensor Normalization for Unbalance Images from the Ice Pathfinder Satellite (BNU-1).	Remote. Sens.	2023	DBLP DOI BibTeX RDF
19	Mustapha Meftah, Cannelle Clavier, Alain Sarkissian, Alain Hauchecorne, Slimane Bekki, Franck Lefèvre, Patrick Galopeau, Pierre-Richard Dahoo, Andrea M. Pazmiño, André-Jean Vieau, Christophe Dufour, Pierre Maso, Nicolas Caignard, Frédéric Ferreira, Pierre Gilbert, Odile Hembise Fanton d'Andon, Sandrine Mathieu, Antoine Mangin, Catherine Billard, Philippe Keckhut	Uvsq-Sat NG, a New CubeSat Pathfinder for Monitoring Earth Outgoing Energy and Greenhouse Gases.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
19	Poria Pirozmand, Ali Asghar Rahmani Hosseinabadi, Maedeh Jabbari Chari, Faezeh Pahlavan, Seyedsaeid Mirkamali, Gerhard-Wilhelm Weber, Summera Nosheen, Ajith Abraham	D-PFA: A Discrete Metaheuristic Method for Solving Traveling Salesman Problem Using Pathfinder Algorithm.	IEEE Access	2023	DBLP DOI BibTeX RDF
19	Paul L. Türtscher, Markus Reiher	Pathfinder─Navigating and Analyzing Chemical Reaction Networks with an Efficient Graph-Based Approach.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
19	Elena Sherman, Yannic Noller, Cyrille Artho, Franck van Breugel, Anto Nanah Ji, John Kellerman, Parssa Khazra, Filip Kliber, Gaurang Kudale, Pavel Parízek, Corina S. Pasareanu, Ron Pressler, Matt Walker, Hongru Wang 0006, Qiuchen Yan	The Java Pathfinder Workshop 2022.	ACM SIGSOFT Softw. Eng. Notes	2023	DBLP DOI BibTeX RDF
19	Olga Golovneva, Sean O'Brien, Ramakanth Pasunuru, Tianlu Wang, Luke Zettlemoyer, Maryam Fazel-Zarandi, Asli Celikyilmaz	PathFinder: Guided Search over Multi-Step Reasoning Paths.	CoRR	2023	DBLP DOI BibTeX RDF
19	Ajit Kumar Mahapatra, Nibedan Panda, Binod Kumar Pattanayak	An improved pathfinder algorithm (ASDR-PFA) based on adaptation of search dimensional ratio for solving global optimization problems and optimal feature selection.	Prog. Artif. Intell.	2023	DBLP DOI BibTeX RDF
19	Huajuan Huang, Zepeng Liao, Xiuxi Wei, Yongquan Zhou	Combined Gaussian Mixture Model and Pathfinder Algorithm for Data Clustering.	Entropy	2023	DBLP DOI BibTeX RDF
19	Chaitanya Goswami, Pulkit Grover	PATHFINDER: Designing Stimulus for Neuromodulation Through Data-Driven Inverse Estimation of Non-Linear Functions.	IEEE Trans. Biomed. Eng.	2023	DBLP DOI BibTeX RDF
19	Junhyun Lee, Ho Jin, Khan-Hyuk Kim, Hyeonhu Park, Wooin Jo, Yunho Jang, Hyeonji Kang, Eunhyeuk Kim, Young-Jun Choi	Correction of Spacecraft Magnetic Field Noise: Initial Korean Pathfinder Lunar Orbiter MAGnetometer Observation in Solar Wind.	Sensors	2023	DBLP DOI BibTeX RDF
19	Zhaohong Huang, Xinyue Cui, Yuhao Xia, Kailong Zhao, Guijun Zhang	Pathfinder: Protein folding pathway prediction based on conformational sampling.	PLoS Comput. Biol.	2023	DBLP DOI BibTeX RDF
19	Umair F. Siddiqi, Gary William Grewal, Shawki Areibi	A Deterministic Parallel Routing Approach for Accelerating Pathfinder-based Algorithms.	VLSI-SoC	2023	DBLP DOI BibTeX RDF
19	A. Almazi Bipon, Ahmed Osman, Md Shantanu Islam, A. Taufiq Asyhari, Raouf Abozariba	Pathfinder: End-to-End Automation of Coverage Mapping of 4G/5G Networks at Street Level.	SECON	2023	DBLP DOI BibTeX RDF
19	Masaki Kuribayashi, Tatsuya Ishihara, Daisuke Sato 0001, Jayakorn Vongkulbhisal, Karnik Ram, Seita Kayukawa, Hironobu Takagi, Shigeo Morishima, Chieko Asakawa	PathFinder: Designing a Map-less Navigation System for Blind People in Unfamiliar Buildings.	CHI	2023	DBLP DOI BibTeX RDF
19	Umair F. Siddiqi, Sadiq M. Sait	On improving the critical path delay of PathFinder at smaller channel widths.	ISCIT	2023	DBLP DOI BibTeX RDF
19	Seungho Jeon, Jongsub Moon	Dr.PathFinder: hybrid fuzzing with deep reinforcement concolic execution toward deeper path-first search.	Neural Comput. Appl.	2022	DBLP DOI BibTeX RDF
19	Lu Zhang, Bob Carpenter, Andrew Gelman, Aki Vehtari	Pathfinder: Parallel quasi-Newton variational inference.	J. Mach. Learn. Res.	2022	DBLP BibTeX RDF
19	Fatholah Salehi, Kurtis J. Thome, Brian N. Wenny, Ronald B. Lockwood, Zhipeng Wang 0001	Band-Averaged Response Sensitivity Study of an Imaging Spectrometer for the CLARREO Pathfinder Mission.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
19	Ashish Valuskar, Madhu Shandilya, Arvind Rajawat	Statistical traffic pattern for mixed torus topology and pathfinder based traffic and thermal aware routing protocol on NoC.	Integr.	2022	DBLP DOI BibTeX RDF
19	Emory Smith, Shannon K. Kuntz, E. Jason Riedy, Martin M. Deneroff	Concurrent Graph Queries on the Lucata Pathfinder.	CoRR	2022	DBLP DOI BibTeX RDF
19	Federico Sabbatini, Catia Grimani	Symbolic Knowledge Extraction from Opaque Predictors Applied to Cosmic-Ray Data Gathered with LISA Pathfinder.	CoRR	2022	DBLP DOI BibTeX RDF
19	Ozan Irsoy, Ethem Alpaydin	PathFinder: Discovering Decision Pathways in Deep Neural Networks.	CoRR	2022	DBLP DOI BibTeX RDF
19	Sudip Halder, Bimal Kumar Dora, Sunil Bhat	An Enhanced Pathfinder Algorithm based MCSA for rotor breakage detection of induction motor.	J. Comput. Sci.	2022	DBLP DOI BibTeX RDF
19	Adnane Talha, Anas Bouayad, Mohammed Ouçamah Cherkaoui Malki	An improved pathfinder algorithm using opposition-based learning for tasks scheduling in cloud environment.	J. Comput. Sci.	2022	DBLP DOI BibTeX RDF
19	Feng Jiang, Qiannan Zhu, Jiawei Yang, Guici Chen, Tianhai Tian	Clustering-based interval prediction of electric load using multi-objective pathfinder algorithm and Elman neural network.	Appl. Soft Comput.	2022	DBLP DOI BibTeX RDF
19	Kristen Nyitray, Dana Reijerkerk	From Pathfinder to Indigenized: An Assessment of LibGuides for Indigenous Studies by ARL Member Institutions.	Coll. Res. Libr.	2022	DBLP DOI BibTeX RDF
19	Jean-Romain Roussel, Jean-François Bourdon, Ilythia D. Morley, Nicholas C. Coops, Alexis Achim	Correction, update, and enhancement of vectorial forestry road maps using ALS data, a pathfinder, and seven metrics.	Int. J. Appl. Earth Obs. Geoinformation	2022	DBLP DOI BibTeX RDF
19		Optimization of FRP jacket by fractional‑order pathfinder algorithm to improve the reinforced concrete frames' seismic response.	Evol. Syst.	2022	DBLP DOI BibTeX RDF
19	Mbadiwe Samuel Benyeogor, Kosisochukwu Pal Nnoli, Oladayo Olufemi Olakanmi, Eric J. Gratton, Olusegun I. Lawal, Sopuruchukwu Okoli	Supplementary Material: Design of Edge-controlled Multisensor Autonomous Robotic Pathfinder with Active Quadrupedal-wheel Drive Suspension System.		2022	DOI RDF
19	Yue Zha, Jing Li 0073	Revisiting PathFinder Routing Algorithm.	FPGA	2022	DBLP DOI BibTeX RDF
19	William J. Blackwell	New Measurements of Cloud Ice and Snow at 205 Ghz from the Nasa Tropics Pathfinder Mission.	IGARSS	2022	DBLP DOI BibTeX RDF
19	William J. Blackwell, Andrew Cunningham, S. Donnelly, Robert Vincent Leslie, N. Zorn	The NASA Tropics Mission as a Pathfinder for Future LEO Microwave Sounders.	IGARSS	2022	DBLP DOI BibTeX RDF
19	Delwyn Moller, Matthew Wilson, Rajasweta Datta, Andrew O'Brien 0001, Ryan Linnabary, Chris Ruf	Rongowai: A Pathfinder NASA/NZ GNSS-R Initiative Supporting SDG-15 - Life on Land.	IGARSS	2022	DBLP DOI BibTeX RDF
19	Kyung-Rak Lee, Jin-Ho Jo, Byoung-Sun Lee, Sinae Ji	An Overview of Architecture and Applications of Delay Tolerant Network for Korea Pathfinder Lunar Orbiter.	APCC	2022	DBLP DOI BibTeX RDF
19	Haocheng Ma, Qizhi Zhang, Ya Gao, Jiaji He, Yiqiang Zhao, Yier Jin	PathFinder: side channel protection through automatic leaky paths identification and obfuscation.	DAC	2022	DBLP DOI BibTeX RDF
19	Ying Zhang, Zhaohui Chi, Fengming Hui, Teng Li 0004, Xuying Liu, Baogang Zhang, Xiao Cheng 0001, Zhuoqi Chen	Accuracy Evaluation on Geolocation of the Chinese First Polar Microsatellite (Ice Pathfinder) Imagery.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
19	Stephen Oladipo, Yanxia Sun, Zenghui Wang	Application of a New Fusion of Flower Pollinated With Pathfinder Algorithm for AGC of Multi-Source Interconnected Power System.	IEEE Access	2021	DBLP DOI BibTeX RDF
19	Tim Naglé, Scott Bateman, Max Valentin Birk	Pathfinder: The Behavioural and Motivational Effects of Collectibles in Gamified Software Training.	Proc. ACM Hum. Comput. Interact.	2021	DBLP DOI BibTeX RDF
19	Pu Yi 0001, Anjiang Wei, Wing Lam, Tao Xie 0001, Darko Marinov	Finding Polluter Tests Using Java PathFinder.	ACM SIGSOFT Softw. Eng. Notes	2021	DBLP DOI BibTeX RDF
19	Abhishek Saxena, Chandan Kumar Shiva, Ravi Shankar 0004, B. Vedik	Impacts of wind farms with multi-terminal HVDC system in frequency regulation using quasi-opposition pathfinder algorithm.	Int. J. Syst. Assur. Eng. Manag.	2021	DBLP DOI BibTeX RDF