Search results for "problem-solvers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Babak Hamidzadeh, Shashi Shekhar	Specification and Analysis of Real-time Problem Solvers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time artificial intelligence, real-time problem, real-time AI problem solvers, DYNORAII, RTA*, real-time path planning problem, deadline compliance, response-time minimization, real-time systems, computational complexity, formal specification, formal specification, problem solving, path planning, average-case complexity
44	David S. Burris, Kurt A. Schember	Table-driven problem solvers.	ACM Southeast Regional Conference	1980	DBLP DOI BibTeX RDF	table-driven problem solvers, finite automata, Decision Tables
29	Claus Möbus, Mark Eilers, Hilke Garbe, Malte Zilinski	Probabilistic and Empirical Grounded Modeling of Agents in (Partial) Cooperative Traffic Scenarios.	HCI (11)	2009	DBLP DOI BibTeX RDF	digital human response models, probabilistic driver models, Bayesian autonomous driver models, learning of human control strategies, human behavior learning and transfer, mixture-of-experts model, visual attention allocation, partial cooperative problem solvers, partial autonomous assistance system, Bayesian assistance system, probabilistic detection of anomalies, traffic agents, between-vehicle-cooperation, within-vehicle-cooperation, hidden Markov models, graphical modeling, distributed cognition, dynamic Bayesian networks, shared space, driver assistance systems
29	Toru Ishida 0001	Real-Time Bidirectional Search: Coordinated Problem Solving in Uncertain Situations.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	bidirectional search, real-time problem solving, organizational problem solving, heuristic depression, Search, problem solving, real-time search
28	David Ginat, Daniel D. Garcia, William I. Gasarch	Aha! an illuminating perspective.	SIGCSE	2002	DBLP DOI BibTeX RDF
23	Michael de Raadt, Mark A. Toleman, Richard Watson 0001	Training strategic problem solvers.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF	novice-expert, programming instruction, problem solving
22	David Corsar, Derek H. Sleeman	KBS development through ontology mapping and ontology driven acquisition.	K-CAP	2007	DBLP DOI BibTeX RDF	problem solvers, ontology, reuse, mapping, knowledge acquisition, KBS
22	Daniel D. Corkill	Embedable Problem-Solving Architectures: A Study of Integrating OPS5 with UMass GBB.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	integrating OPS5, UMass GBB, problem-solving architecture, problem-solvers, blackboard paradigm, heterogeneous problem-solving representations, individual knowledge sources, public-domain version, integral KS language, knowledge representation, expert systems, embedding
21	Mihai Oltean	A-Brain: the multiple problems solver.	SAC	2006	DBLP DOI BibTeX RDF	artificial brain, general problem solver, genetic programming, multi expression programming
18	Panlong Yi, Gang Lu, Xiaojun Wu 0002, Yumei Zhang	Problem-guided Neural Math Problem Solvers.	CNML	2023	DBLP DOI BibTeX RDF
18	Siu-Cheung Kong	Problem formulation in computational thinking development for nurturing creative problem solvers in primary School.	Educ. Inf. Technol.	2022	DBLP DOI BibTeX RDF
18	Yi-Jun Liao, Yu-Chen Chan, Hsueh-Chih Chen	The eye movement analysis of 3D spatial problem with cue effects between successful and unsuccessful problem-solvers.	CogSci	2014	DBLP BibTeX RDF
18	Piet Hein	We shall have to evolve problem solvers galore Since each problem we solve creates ten problems more.	Discret. Math.	1992	DBLP BibTeX RDF
18	Laurent Siklóssy, John W. Roach	Collaborative Problem-Solving Between Optimistic and Pessimistic Problem Solvers.	IFIP Congress	1974	DBLP BibTeX RDF
17	Olena Kravchuk, Wayne J. Pullan, John Thornton 0001, Abdul Sattar 0001	An Investigation of Variable Relationships in 3-SAT Problems.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Search, Constraints
17	Bob Johnson	User-centeredness, situatedness, and designing the media of computer documentation.	SIGDOC	1990	DBLP DOI BibTeX RDF
16	Gabriella Cortellessa, Vittoria Giuliani, Massimiliano Scopelliti, Amedeo Cesta	Key Issues in Interactive Problem Solving: An Empirical Investigation on Users Attitude.	INTERACT	2005	DBLP DOI BibTeX RDF
15	John W. Olson, Herbert E. Longenecker Jr.	The Establishment and Application of a Metric for Graphical Design Language (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
14	Qintong Li, Leyang Cui, Xueliang Zhao, Lingpeng Kong, Wei Bi	GSM-Plus: A Comprehensive Benchmark for Evaluating the Robustness of LLMs as Mathematical Problem Solvers.	CoRR	2024	DBLP DOI BibTeX RDF
14	Jingge Xiao, Leonie Basso, Wolfgang Nejdl, Niloy Ganguly, Sandipan Sikdar	IVP-VAE: Modeling EHR Time Series with Initial Value Problem Solvers.	AAAI	2024	DBLP DOI BibTeX RDF
14	Zhuowei Wang 0001, Le Yang, Haoran Lin, Genping Zhao, Zixuan Liu, Xiaoyu Song	Distributed Deep Learning Optimization of Heat Equation Inverse Problem Solvers.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
14	Yuta Matsumoto, Benjamin Heinzerling, Masashi Yoshikawa, Kentaro Inui	Tracing and Manipulating Intermediate Values in Neural Math Problem Solvers.	CoRR	2023	DBLP DOI BibTeX RDF
14	Abby Newcomb, Jugal Kalita	Explaining Math Word Problem Solvers.	CoRR	2023	DBLP DOI BibTeX RDF
14	Zhenwen Liang, Wenhao Yu 0002, Tanmay Rajpurohit, Peter Clark, Xiangliang Zhang 0001, Ashwin Kalyan	Let GPT be a Math Tutor: Teaching Math Word Problem Solvers with Customized Exercise Generation.	CoRR	2023	DBLP DOI BibTeX RDF
14	Alon Goldstein, Miriam Havin, Roi Reichart, Ariel Goldstein	Decoding Stumpers: Large Language Models vs. Human Problem-Solvers.	CoRR	2023	DBLP DOI BibTeX RDF
14	Yufei Tian, Abhilasha Ravichander, Lianhui Qin, Ronan Le Bras 0001, Raja Marjieh, Nanyun Peng, Yejin Choi 0001, Thomas L. Griffiths 0001, Faeze Brahman	MacGyver: Are Large Language Models Creative Problem Solvers?	CoRR	2023	DBLP DOI BibTeX RDF
14	David Noever, Forrest McKee	Chatbots as Problem Solvers: Playing Twenty Questions with Role Reversals.	CoRR	2023	DBLP DOI BibTeX RDF
14	Matthieu Terris, Thomas Moreau 0001	Meta-Prior: Meta learning for Adaptive Inverse Problem Solvers.	CoRR	2023	DBLP DOI BibTeX RDF
14	Jingge Xiao, Leonie Basso, Wolfgang Nejdl, Niloy Ganguly, Sandipan Sikdar	IVP-VAE: Modeling EHR Time Series with Initial Value Problem Solvers.	CoRR	2023	DBLP DOI BibTeX RDF
14	Youyuan Zhang	Techniques to Improve Neural Math Word Problem Solvers.	CoRR	2023	DBLP DOI BibTeX RDF
14	Haoyu Liu, Fan-Yun Sun, Frieda Rong, Kumiko Nakajima, Nicholas Haber, Shima Salehi	Characterizing Learning Progress of Problem-Solvers Using Puzzle-Solving Log Data.	EDM	2023	DBLP BibTeX RDF
14	Zhenwen Liang, Jipeng Zhang, Lei Wang, Yan Wang, Jie Shao 0001, Xiangliang Zhang 0001	Generalizing Math Word Problem Solvers via Solution Diversification.	AAAI	2023	DBLP DOI BibTeX RDF
14	Zhenwen Liang, Wenhao Yu 0002, Tanmay Rajpurohit, Peter Clark, Xiangliang Zhang 0001, Ashwin Kalyan	Let GPT be a Math Tutor: Teaching Math Word Problem Solvers with Customized Exercise Generation.	EMNLP	2023	DBLP DOI BibTeX RDF
14	Alon Goldstein, Miriam Havin, Roi Reichart, Ariel Goldstein	Decoding Stumpers: Large Language Models vs. Human Problem-Solvers.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
14	Martin Q. Zhao, Robert Allen	Training Problem-Solvers by Using Real World Problems as Case Studies.	ICR	2023	DBLP DOI BibTeX RDF
14	Zhenwen Liang, Jipeng Zhang, Lei Wang, Yan Wang, Jie Shao 0001, Xiangliang Zhang 0001	Generalizing Math Word Problem Solvers via Solution Diversification.	CoRR	2022	DBLP DOI BibTeX RDF
14	Sowmya S. Sundaram, Sairam Gurajada, Marco Fisichella, Deepak P 0001, Savitha Sam Abraham	Why are NLP Models Fumbling at Elementary Math? A Survey of Deep Learning based Word Problem Solvers.	CoRR	2022	DBLP DOI BibTeX RDF
14	Vivek Kumar, Rishabh Maheshwary, Vikram Pudi	Practice Makes a Solver Perfect: Data Augmentation for Math Word Problem Solvers.	CoRR	2022	DBLP DOI BibTeX RDF
14	Tingting Zhang, Jie Han 0001	Efficient Traveling Salesman Problem Solvers using the Ising Model with Simulated Bifurcation.	DATE	2022	DBLP DOI BibTeX RDF
14	Vivek Kumar, Rishabh Maheshwary, Vikram Pudi	Practice Makes a Solver Perfect: Data Augmentation for Math Word Problem Solvers.	NAACL-HLT	2022	DBLP DOI BibTeX RDF
14	Abby Newcomb, Jugal Kalita	Explaining Math Word Problem Solvers.	NLPIR	2022	DBLP DOI BibTeX RDF
14	Yihuai Lan, Lei Wang 0185, Qiyuan Zhang, Yunshi Lan, Bing Tian Dai, Yan Wang 0060, Dongxiang Zhang, Ee-Peng Lim	MWPToolkit: An Open-Source Framework for Deep Learning-Based Math Word Problem Solvers.	AAAI	2022	DBLP DOI BibTeX RDF
14	Hanjing Xu, Hayato Ushijima-Mwesigwa, Indradeep Ghosh	Scaling Vehicle Routing Problem Solvers with QUBO-based Specialized Hardware.	SEC	2022	DBLP DOI BibTeX RDF
14	Emanoel R. Sabidussi, Stefan Klein 0001, Matthan W. A. Caan, Shabab Bazrafkan, Arnold J. den Dekker, Jan Sijbers, Wiro J. Niessen, Dirk H. J. Poot	Recurrent inference machines as inverse problem solvers for MR relaxometry.	Medical Image Anal.	2021	DBLP DOI BibTeX RDF
14	Shen-Yun Miao, Chao-Chun Liang, Keh-Yih Su	A Diverse Corpus for Evaluating and Developing English Math Word Problem Solvers.	CoRR	2021	DBLP BibTeX RDF
14	Yihuai Lan, Lei Wang 0185, Qiyuan Zhang, Yunshi Lan, Bing Tian Dai, Yan Wang 0060, Dongxiang Zhang, Ee-Peng Lim	MWPToolkit: An Open-Source Framework for Deep Learning-Based Math Word Problem Solvers.	CoRR	2021	DBLP BibTeX RDF
14	Emanoel R. Sabidussi, Stefan Klein 0001, Matthan W. A. Caan, Shabab Bazrafkan, Arnold J. den Dekker, Jan Sijbers, Wiro J. Niessen, Dirk H. J. Poot	Recurrent Inference Machines as inverse problem solvers for MR relaxometry.	CoRR	2021	DBLP BibTeX RDF
14	Vivek Kumar, Rishabh Maheshwary, Vikram Pudi	Adversarial Examples for Evaluating Math Word Problem Solvers.	CoRR	2021	DBLP BibTeX RDF
14	Mustafa Misir	Hyper-heuristics: Autonomous Problem Solvers.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
14	Vivek Kumar, Rishabh Maheshwary, Vikram Pudi	Adversarial Examples for Evaluating Math Word Problem Solvers.	EMNLP (Findings)	2021	DBLP DOI BibTeX RDF
14	Roger Käppeli, Dinshaw S. Balsara, Praveen Chandrashekar, Arijit Hazra	Optimal, globally constraint-preserving, DG(TD)2 schemes for computational electrodynamics based on two-derivative Runge-Kutta timestepping and multidimensional generalized Riemann problem solvers - A von Neumann stability analysis.	J. Comput. Phys.	2020	DBLP DOI BibTeX RDF
14	Debarati Bhaumik, Marko A. A. Boon, Daan Crommelin, Barry Koren, Bert Zwart	Computing first passage times for Markov-modulated fluid models using numerical PDE problem solvers.	CoRR	2020	DBLP BibTeX RDF
14	Dongxiang Zhang, Lei Wang, Luming Zhang, Bing Tian Dai, Heng Tao Shen	The Gap of Semantic Parsing: A Survey on Automatic Math Word Problem Solvers.	IEEE Trans. Pattern Anal. Mach. Intell.	2020	DBLP DOI BibTeX RDF
14	Carol Forsyth, Jessica Andrews-Todd, Jonathan Steinberg	Are You Really a Team Player?: Profiles of collaborative problem solvers in an online environment.	EDM	2020	DBLP BibTeX RDF
14	Carlos Fernandez, Ioannis Vourkas	Performance Assessment of Memristor Networks as Shortest Path Problem Solvers.	ISCAS	2020	DBLP DOI BibTeX RDF
14	Shen-Yun Miao, Chao-Chun Liang, Keh-Yih Su	A Diverse Corpus for Evaluating and Developing English Math Word Problem Solvers.	ACL	2020	DBLP DOI BibTeX RDF
14	Maria C. Negru	Networks of polarized splicing processors as problem solvers.	Biosyst.	2019	DBLP DOI BibTeX RDF
14	Patrick P. Weis, Eva Wiese	Problem Solvers Adjust Cognitive Offloading Based on Performance Goals.	Cogn. Sci.	2019	DBLP DOI BibTeX RDF
14	Ambra Galeazzo, Andrea Furlan	Good problem solvers? Leveraging knowledge sharing mechanisms and management support.	J. Knowl. Manag.	2019	DBLP DOI BibTeX RDF
14	Ortal Senouf, Sanketh Vedula, Tomer Weiss 0002, Alexander M. Bronstein, Oleg V. Michailovich, Michael Zibulevsky	Self-supervised learning of inverse problem solvers in medical imaging.	CoRR	2019	DBLP BibTeX RDF
14	Yuji Shinano, Daniel Rehfeldt, Tristan Gally	An Easy Way to Build Parallel State-of-the-art Combinatorial Optimization Problem Solvers: A Computational Study on Solving Steiner Tree Problems and Mixed Integer Semidefinite Programs by using ug[SCIP-, ]-Libraries.	IPDPS Workshops	2019	DBLP DOI BibTeX RDF
14	Lei Wang, Dongxiang Zhang, Jipeng Zhang, Xing Xu 0001, Lianli Gao, Bing Tian Dai, Heng Tao Shen	Template-Based Math Word Problem Solvers with Recursive Neural Networks.	AAAI	2019	DBLP DOI BibTeX RDF
14	Ortal Senouf, Sanketh Vedula, Tomer Weiss 0002, Alexander M. Bronstein, Oleg V. Michailovich, Michael Zibulevsky	Self-supervised Learning of Inverse Problem Solvers in Medical Imaging.	DART/MIL3ID@MICCAI	2019	DBLP DOI BibTeX RDF
14	Dongxiang Zhang, Lei Wang, Nuo Xu, Bing Tian Dai, Heng Tao Shen	The Gap of Semantic Parsing: A Survey on Automatic Math Word Problem Solvers.	CoRR	2018	DBLP BibTeX RDF
14	Jessica Andrews-Todd, Carol Forsyth, Jonathan Steinberg, André Rupp	Identifying Profiles of Collaborative Problem Solvers in an Online Electronics Environment.	EDM	2018	DBLP BibTeX RDF
14	Andreas Enzenhöfer, Sheldon Andrews, Marek Teichmann, József Kövecses	Comparison of Mixed Linear Complementarity Problem Solvers for Multibody Simulations with Contact.	VRIPHYS	2018	DBLP DOI BibTeX RDF
14	Bernabé Dorronsoro	Automatic Generation of Parallel Problem Solvers.	HPCS	2018	DBLP DOI BibTeX RDF
14	J. Grey Monroe, Zachariah A. Allen, Paul Tanger, Jack L. Mullen, John T. Lovell, Brook T. Moyers, L. Darrell Whitley, John K. McKay	TSPmap, a tool making use of traveling salesperson problem solvers in the efficient and accurate construction of high-density genetic linkage maps.	BioData Min.	2017	DBLP DOI BibTeX RDF
14	Henning Bordihn, Paolo Bottoni, Anna Labella, Victor Mitrana	Networks of picture processors as problem solvers.	Soft Comput.	2017	DBLP DOI BibTeX RDF
14	Nhon V. Do, Thanh T. Mai	Perfect COKB Model and Reasoning Methods for the Design of Intelligent Problem Solvers.	SoMeT	2017	DBLP DOI BibTeX RDF
14	Elif E. Miskioglu	Developing more robust problem solvers through diversity of course experiences.	FIE	2016	DBLP DOI BibTeX RDF
14	Bernd Steinbach, Stefan Heinrich, Christian Posthoff	Multi-valued Problem Solvers.	ISMVL	2016	DBLP DOI BibTeX RDF
14	Jonathan Binas, Giacomo Indiveri, Michael Pfeiffer 0001	Spiking analog VLSI neuron assemblies as constraint satisfaction problem solvers.	ISCAS	2016	DBLP DOI BibTeX RDF
14	Laurynas Siksnys, Torben Bach Pedersen	SolveDB: Integrating Optimization Problem Solvers Into SQL Databases.	SSDBM	2016	DBLP DOI BibTeX RDF
14	Jonathan Binas, Giacomo Indiveri, Michael Pfeiffer 0001	Spiking Analog VLSI Neuron Assemblies as Constraint Satisfaction Problem Solvers.	CoRR	2015	DBLP BibTeX RDF
14	Peter M. D. Gray, Trevor Runcie, Derek H. Sleeman	Reuse of constraint knowledge bases and problem solvers explored in engineering design.	Artif. Intell. Eng. Des. Anal. Manuf.	2015	DBLP DOI BibTeX RDF
14	Matthias Mokosch, Torsten Urban, Hans-Knud Arndt	Tablets - Suitable Problem Solvers for Business Cases?	EnviroInfo/ICT4S (2)	2015	DBLP BibTeX RDF
14	Nikolaus Franke, Marion K. Poetz, Martin Schreier	Integrating Problem Solvers from Analogous Markets in New Product Ideation.	Manag. Sci.	2014	DBLP DOI BibTeX RDF
14	Broderick Crawford, Ricardo Soto 0001, Éric Monfroy, Franklin Johnson	Self-adaptive Systems: Facilitating the Use of Combinatorial Problem Solvers.	HCI (26)	2014	DBLP DOI BibTeX RDF
14	Bernd Steinbach, Christian Posthoff	Multiple-Valued Problem Solvers - Comparison of Several Approaches.	ISMVL	2014	DBLP DOI BibTeX RDF
14	Zuzana Kukelova, Martin Bujnak, Jan Heller, Tomás Pajdla	Singly-Bordered Block-Diagonal Form for Minimal Problem Solvers.	ACCV (2)	2014	DBLP DOI BibTeX RDF
14	Christophe Berthon, Céline Sarazin, Rodolphe Turpault	Space-time Generalized Riemann Problem Solvers of Order k for Linear Advection with Unrestricted Time Step.	J. Sci. Comput.	2013	DBLP DOI BibTeX RDF
14	Francesca Mazzia, Jeff R. Cash, Karline Soetaert	A Test Set for stiff Initial Value Problem Solvers in the open source software R: Package deTestSet.	J. Comput. Appl. Math.	2012	DBLP DOI BibTeX RDF
14	Harald Yndestad	Intelligent Agents as Problem Solvers on Large 3D Landscapes.	EMS	2012	DBLP DOI BibTeX RDF
14	Helen H. Hu	Using POGIL to teach students to be better problem solvers (abstract only).	SIGCSE	2012	DBLP DOI BibTeX RDF
14	Pedro Pablo Alarcón, Fernando Arroyo, Victor Mitrana	Networks of Polarized Evolutionary Processors as Problem Solvers.	KES	2012	DBLP BibTeX RDF
14	Martin Severin Frandsen, Lene Pfeiffer Petersen	From 'troublemakers' to problem solvers: designing with youths in a disadvantaged neighbourhood.	PDC (2)	2012	DBLP DOI BibTeX RDF
14	Katharine Anderson	Collaboration Network Formation and the Demand for Problem Solvers with Heterogenous Skills	CoRR	2011	DBLP BibTeX RDF
14	René Victor Valqui Vidal	Creativity for problem solvers.	AI Soc.	2009	DBLP DOI BibTeX RDF
14	Leah Hoffmann	Problem solvers.	Commun. ACM	2009	DBLP DOI BibTeX RDF
14	Martin J. O'Connor, Csongor Nyulas, Samson W. Tu, David L. Buckeridge, Anna Okhmatovskaia, Mark A. Musen	Software-engineering challenges of building and deploying reusable problem solvers.	Artif. Intell. Eng. Des. Anal. Manuf.	2009	DBLP DOI BibTeX RDF
14	Zuzana Kukelova, Martin Bujnak, Tomás Pajdla	Automatic Generator of Minimal Problem Solvers.	ECCV (3)	2008	DBLP DOI BibTeX RDF
14	Nuria Gómez Blas, Luis Fernando de Mingo López, Eugenio Santos	Massive Parallel Networks of Evolutionary Processors as NP-Problem Solvers.	ICEIS (2)	2008	DBLP BibTeX RDF
14	Trevor Runcie	Reuse of knowledge bases & problem solvers explored in the VT domain.		2008	RDF
14	Mazen Alamir	A benchmark for optimal control problem solvers for hybrid nonlinear systems.	Autom.	2006	DBLP DOI BibTeX RDF
14	Joachim Peter Bekmann	Rapid development of problem-solvers with HeurEAKA! - a heuristic evolutionary algorithm and incremental knowledge acquisition approach.		2006	RDF
14	Victor J. Skowronski	Do Agile Methods Marginalize Problem Solvers?	Computer	2004	DBLP DOI BibTeX RDF
14	David L. Buckeridge, Martin J. O'Connor, Haobo Xu, Mark A. Musen	A Knowledge-Based Framework for Deploying Surveillance Problem Solvers.	IKE	2004	DBLP BibTeX RDF
14	Jürgen Schmidhuber	Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements	CoRR	2003	DBLP BibTeX RDF
14	Tomas Eric Nordlander, Kenneth N. Brown, Derek H. Sleeman	Constraint Relaxation Techniques to Aid the Reuse of Knowledge Bases and Problem Solvers.	SGAI Conf.	2003	DBLP DOI BibTeX RDF