|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 164 occurrences of 123 keywords
|
|
|
Results
Found 334 publication records. Showing 334 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 28(10), pp. 1678-1689, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 510-514, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2006 IEEE International Conference on Multimedia and Expo, ICME 2006, July 9-12 2006, Toronto, Ontario, Canada, pp. 1469-1472, 2006, IEEE Computer Society, 1-4244-0367-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 239-248, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the Third International ACM Symposium on Field-Programmable Gate Arrays,FPGA 1995, Monterey, California, USA, February 12-14, 1995, pp. 111-117, 1995, ACM, 0-89791-743-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 863-866, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Conference on Information Technology: Coding and Computing (ITCC'04), Volume 2, April 5-7, 2004, Las Vegas, Nevada, USA, pp. 607-614, 2004, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: 9th IEEE Symposium on Information Visualization (InfoVis 2003), 20-21 October 2003, Seattle, WA, USA, pp. 67-74, 2003, IEEE Computer Society, 0-7695-2055-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 351-357, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
51 | Pavel Parízek, Frantisek Plásil |
Partial Verification of Software Components: Heuristics for Environment Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany, pp. 75-82, 2007, IEEE Computer Society, 0-7695-2977-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 4087-4092, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 1162-1164, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA, pp. 133-141, 2006, IEEE Computer Society, 0-7695-2624-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 5052-5055, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 14th International Conference on Intelligent User Interfaces, IUI 2009, Sanibel Island, Florida, USA, February 8-11, 2009, pp. 157-166, 2009, ACM, 978-1-60558-168-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 19th International Symposium on Field Programmable Gate Arrays, FPGA 2011, Monterey, California, USA, February 27, March 1, 2011, pp. 173-176, 2011, ACM, 978-1-4503-0554-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 42(6), pp. 1484-1490, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Pavel Parízek, Nodir Yuldashev |
Extraction of component-environment interaction model using state space traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2203-2210, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software components, behavior protocols, Java PathFinder |
37 | Matt Staats, Corina S. Pasareanu |
Parallel symbolic execution for structural test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010, pp. 183-194, 2010, ACM, 978-1-60558-823-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 225-234, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 17th International Symposium on Field Programmable Gate Arrays, FPGA 2009, Monterey, California, USA, February 22-24, 2009, pp. 191-200, 2009, ACM, 978-1-60558-410-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 291-300, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: Virtual Reality 2001 Conference, VR'01, Yokohama, Japan, March 13-17, 2001, Proceedings, pp. 183-190, 2001, IEEE Computer Society, 0-7695-0948-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 134-138, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov |
Optimized Execution of Deterministic Blocks in Java PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 549-567, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Vadim S. Mutilin |
Concurrent Testing of Java Components Using Java PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 53-59, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA, pp. 142-152, 2006, IEEE Computer Society, 0-7695-2624-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Willem Visser, Peter C. Mehlitz |
Model Checking Programs with Java PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 27, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Gary Lindstrom, Peter C. Mehlitz, Willem Visser |
Model Checking Real Time Java Using Java PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 444-456, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid |
Test input generation with java PathFinder. ![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. 97-107, 2004, ACM, 1-58113-820-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 357-371, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Klaus Havelund, Thomas Pressburger |
Model Checking JAVA Programs using JAVA PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 366-381, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2000, London, England, UK, July 19-21, 2000, pp. 25-32, 2000, IEEE Computer Society, 0-7695-0743-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Steven A. Stolper |
Streamlined Design Approach Lands Mars Pathfinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 16(5), pp. 52-62, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Pavel Parízek, Tomas Kalibera |
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 117-132, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009, 2009, ACM, 978-1-60558-655-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008, pp. 131-132, 2008, ACM, 978-1-59593-917-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 15-26, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007, pp. 226-235, 2007, IEEE Computer Society, 1-4244-0802-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Torsten Grust, Jan Rittinger, Jens Teubner |
Data-intensive XQuery debugging with instant replay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XIME-P ![In: Proceedings of the 4th International Workshop on XQuery Implementation, Experience and Perspectives, in cooperation with ACM SIGMOD, June 15, 2007, Beijing, China, 2007, 978-1-59593-800-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Hanrong Wang, William J. Hubbard |
Integrating Electronic Pathfinders in Digital Libraries: A Model for China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICADL ![In: Digital Libraries: International Collaboration and Cross-Fertilization, 7th International Conference on Asian Digital Libraries, ICADL 2004, Shanghai, China, December 13-17, 2004, Proceedings, pp. 618-625, 2004, Springer, 3-540-24030-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Chaomei Chen, Ray J. Paul |
Visualizing a Knowledge Domain's Intellectual Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 34(3), pp. 65-71, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Neff Walker, John B. Smelcer |
A comparison of selection time from walking and pull-down menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 221-226, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Terry Winograd |
What can we teach about human-computer interaction? (plenary address). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 443-448, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Hans Brunner |
A snapshot of natural language interfaces (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 53-55, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Jakob Nielsen |
Designing for international use (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 291-294, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
28 | S. Joy Mountford |
Designers: meet your users (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 439-442, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Apple Computer, HyperCard, Inc |
28 | Marcy Telles |
Updating an older interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 243-248, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
WordStar |
23 | Marcel Gort, Jason Helge Anderson |
Reducing FPGA Router Run-Time through Algorithm and Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: International Conference on Field Programmable Logic and Applications, FPL 2011, September 5-7, Chania, Crete, Greece, pp. 336-342, 2011, IEEE Computer Society, 978-1-4577-1484-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 164-174, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2009, Providence, Rhode Island, USA, June 29 - July 2, 2009, pp. 1063-1066, 2009, ACM, 978-1-60558-551-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 15(1), pp. 3:1-3:25, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: Hypertext 97, The Eigth ACM Conference on Hypertext, University of Southampton, UK, April 6-11, 1997, pp. 177-186, 1997, ACM, 0-89791-866-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 5(2), pp. 99-154, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 62, pp. 1-11, 2024. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.09030, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evol. Syst. ![In: Evol. Syst. 15(2), pp. 689, April 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Energy Inform. ![In: Energy Inform. 7(1), pp. 31, December 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS (3) ![In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, pp. 770-784, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS (3) ![In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, pp. 785-800, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(23), pp. 5439, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(19), pp. 4876, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 106544-106566, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 63(1), pp. 147-160, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 48(1), pp. 19-21, January 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.05180, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prog. Artif. Intell. ![In: Prog. Artif. Intell. 12(4), pp. 323-348, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Huajuan Huang, Zepeng Liao, Xiuxi Wei, Yongquan Zhou |
Combined Gaussian Mixture Model and Pathfinder Algorithm for Data Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 25(6), pp. 946, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Chaitanya Goswami, Pulkit Grover |
PATHFINDER: Designing Stimulus for Neuromodulation Through Data-Driven Inverse Estimation of Non-Linear Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 70(12), pp. 3300-3311, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(23), pp. 9428, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 19(9), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Umair F. Siddiqi, Gary William Grewal, Shawki Areibi |
A Deterministic Parallel Routing Approach for Accelerating Pathfinder-based Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 31st IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Dubai, United Arab Emirates, October 16-18, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2599-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECON ![In: 20th Annual IEEE International Conference on Sensing, Communication, and Networking, SECON 2023, Madrid, Spain, September 11-14, 2023, pp. 375-377, 2023, IEEE, 979-8-3503-0052-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, CHI 2023, Hamburg, Germany, April 23-28, 2023, pp. 41:1-41:16, 2023, ACM, 978-1-4503-9421-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Umair F. Siddiqi, Sadiq M. Sait |
On improving the critical path delay of PathFinder at smaller channel widths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIT ![In: 22nd International Symposium on Communications and Information Technologies, ISCIT 2023, Sydney, Australia, October 16-18, 2023, pp. 127-132, 2023, IEEE, 978-1-6654-5731-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Seungho Jeon, Jongsub Moon |
Dr.PathFinder: hybrid fuzzing with deep reinforcement concolic execution toward deeper path-first search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 34(13), pp. 10731-10750, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Lu Zhang, Bob Carpenter, Andrew Gelman, Aki Vehtari |
Pathfinder: Parallel quasi-Newton variational inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Mach. Learn. Res. ![In: J. Mach. Learn. Res. 23, pp. 306:1-306:49, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(10), pp. 2302, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 87, pp. 158-168, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Emory Smith, Shannon K. Kuntz, E. Jason Riedy, Martin M. Deneroff |
Concurrent Graph Queries on the Lucata Pathfinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.11889, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.04697, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Ozan Irsoy, Ethem Alpaydin |
PathFinder: Discovering Decision Pathways in Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.00319, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 64, pp. 101870, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 64, pp. 101873, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 129, pp. 109602, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Coll. Res. Libr. ![In: Coll. Res. Libr. 83(6), 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Earth Obs. Geoinformation ![In: Int. J. Appl. Earth Obs. Geoinformation 114, pp. 103020, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | |
Optimization of FRP jacket by fractional‑order pathfinder algorithm to improve the reinforced concrete frames' seismic response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evol. Syst. ![In: Evol. Syst. 13(4), pp. 589-601, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
19 | Yue Zha, Jing Li 0073 |
Revisiting PathFinder Routing Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: FPGA '22: The 2022 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Virtual Event, USA, 27 February 2022 - 1 March 2022, pp. 24-34, 2022, ACM, 978-1-4503-9149-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2022, Kuala Lumpur, Malaysia, July 17-22, 2022, pp. 5260-5261, 2022, IEEE, 978-1-6654-2792-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2022, Kuala Lumpur, Malaysia, July 17-22, 2022, pp. 4873-4874, 2022, IEEE, 978-1-6654-2792-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2022, Kuala Lumpur, Malaysia, July 17-22, 2022, pp. 4212-4215, 2022, IEEE, 978-1-6654-2792-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCC ![In: 27th Asia Pacific Conference on Communications, APCC 2022, Jeju Island, Republic of Korea, October 19-21, 2022, pp. 649-650, 2022, IEEE, 978-1-6654-9927-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022, pp. 79-84, 2022, ACM, 978-1-4503-9142-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 13(21), pp. 4278, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 94149-94168, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Hum. Comput. Interact. ![In: Proc. ACM Hum. Comput. Interact. 5(CHI PLAY), pp. 264:1-264:23, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Pu Yi 0001, Anjiang Wei, Wing Lam, Tao Xie 0001, Darko Marinov |
Finding Polluter Tests Using Java PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 46(3), pp. 37-41, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 12(6), pp. 1434-1446, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 334 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|