|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16494 occurrences of 6555 keywords
|
|
|
Results
Found 48033 publication records. Showing 48033 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Jean-François Dufourd, Pascal Mathis, Pascal Schreck |
Formal Resolution of Geometrical Constraint Systems by Assembling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Proceedings of the Fourth Symposium on Solid Modeling and Applications, Atlanta, Georgia, USA, May 14-16, 1997, pp. 271-284, 1997, ACM, 0-89791-946-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
assembling of figures, geometric formal construction, local solving, system of geometric constraints, multi-agent system, computer-aided design, blackboard |
11 | William S. Havens |
Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings, pp. 37-46, 1997, Springer, 3-540-63797-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
intelligent backtracking, multiagent systems, distributed constraint satisfaction, cooperative problem solving |
11 | Éric Monfroy, Michaël Rusinowitch, René Schott |
Implementing non-linear constraints with cooperative solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1996 ACM Symposium on Applied Computing, SAC'96, Philadelphia, PA, USA, February 17-19, 1996, pp. 63-72, 1996, ACM, 0-89791-820-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
non-linear constraint, integration, cooperation, constraint solving |
11 | Bjarne Steensgaard |
Points-to Analysis by Type Inference of Programs with Structures and Unions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 136-150, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
interprocedural program analysis, non-standard types, constraint solving, points-to analysis, C programs |
11 | William M. Waite |
Compiler Construction: Craftmanship or Engineering? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 151-159, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
complexity, formal methods, modularity, Problem solving, reusability |
11 | Mounir Hamdi, Siang W. Song |
On Embedding Various Networks into the Hypercube Using Matrix Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 650-654, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
matrix transformations, binary n-cube, r-ary m-cubes, reflected Gray code, parallel algorithms, parallel algorithms, parallel architectures, hypercube, problem solving, hypercube networks, matrix algebra, dilation, Gray codes, divide and conquer methods, embedding method, divide-and-conquer algorithms |
11 | Rainer Bacher |
Automatic Generation of Optimization Code Based on Symbolic Non-Linear Domain Formulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC '96, Zurich, Switzerland, July 24-26, 1996, pp. 283-291, 1996, ACM, 0-89791-796-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
automatic optimization code generation, electric power system optimal power flow, structured optimization problem, Maple, domain engineering, problem solving environment, network optimization, non-linear optimization |
11 | Richard Gerber 0001, Seongsoo Hong, Manas Saksena |
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(7), pp. 579-592, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
end-to-end timing constraints, Real-time, design methodology, constraint solving, non-linear optimization, static priority scheduling |
11 | Toru Ishida 0001, Yutaka Sasaki, Keiko Nakata 0002, Yoshimi Fukuhara |
A Meta-Level Control Architecture for Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 7(1), pp. 44-52, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
meta-level control, Expert system, problem solving, production system, production rule |
11 | Toru Ishida 0001, Richard E. Korf |
Moving-Target Search: A Real-Time Search for Changing Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(6), pp. 609-619, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
real-time, learning, Search, problem solving, commitment, reactiveness, deliberation, moving target |
11 | Steve A. Chien, Jonathan Gratch, Michael C. Burl |
On the Efficient Allocation of Resources for Hypothesis Evaluation: A Statistical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(7), pp. 652-665, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
the utility problem, adaptive problem-solving, Machine learning, parameter estimation, planning and scheduling |
11 | Maria Alberta Alberti, Eric Bastioli, Daniele Marini |
Towards object-oriented modelling of euclidean geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 11(7), pp. 378-389, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Geometric constructions, Constraint solving, Euclidean geometry, Object-oriented graphics |
11 | Benjamin W. Wah, Arthur Ieumwananonthachai, Shu Yao, Ting Yu |
Statistical generalization: theory and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 4-10, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
statistical generalization, multiple statistical distributions, probability of win, problem solving, maximum likelihood estimation, maximum likelihood estimate, Bayes methods, heuristic programming, interval analysis, heuristic methods, Bayesian analysis, blind equalization, branch-and-bound search |
11 | David G. Hendry |
Display-Based Problems in Spreadsheets: A Critical Incident and a Design Remedy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 284-290, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
display-based problems, design remedy, discretionary user, grid partitioning, arithmetic series, block function, progressional computation, tabular displays, cell referencing, usability, user interfaces, human factors, human factors, visual programming, visual programming, problem solving, functions, programming by demonstration, failure, spreadsheets, interaction style, expressive power, computer displays, spreadsheet programs, critical incident, series (mathematics), cognitive dimensions |
11 | Robert L. Glass |
From Wonderland to the Real Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(3), pp. 90-92, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
software crisis, breakthrough solutions, software engineering, software development, managers, problem solving, DP management, practitioners |
11 | Jürgen Herrmann, Reiner Ackermann, Jörg Peters 0003, Detlef Reipa |
A Multistrategy Learning System and Its Integration into an Interactive Floorplanning Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-94, European Conference on Machine Learning, Catania, Italy, April 6-8, 1994, Proceedings, pp. 138-153, 1994, Springer, 3-540-57868-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
learning and problem solving, applications of machine learning, multistrategy learning |
11 | Babak Hamidzadeh, Shashi Shekhar |
Specification and Analysis of Real-time Problem Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(8), pp. 788-803, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
11 | Goa Ji |
Representing Inference Control by Hypothesis-Based Association. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(2), pp. 363-367, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
planning level, performing level, inference tactics, representation system hypothesis-based associative representation, HAR, functional architecture, hypothesis-based associative networks, block-world action planning, least commitment strategy, knowledge representation, knowledge-based systems, knowledge based systems, inference mechanisms, inference control, AI techniques, problem solving strategies |
11 | Amit Basu |
A Knowledge Representation Model for Multiuser Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(2), pp. 177-189, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
knowledge representation model, multiuser knowledge-based system, MKBS, largely autonomous user knowledge bases, multipole heterogeneous users, UKBs, rule translation, knowledge representation, knowledge based systems, problem solving, explanation, consistency maintenance, multi-access systems |
11 | Kai-Hsiung Chang, Hyungoo Han, William B. Day |
A comparison of failure-handling approaches for planning systems - Replanning vs. recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 3(4), pp. 275-300, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
fault-tolerant, agents, artificial intelligence, robotics, Planning, problem solving, actions, failure recovery |
11 | Chandrajit L. Bajaj, Malcolm C. Fields |
The VAIDAK Medical Image Model Reconstruction Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February 14-16, 1993, pp. 28-35, 1993, ACM, 0-89791-567-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
bio-medical computing, image processing, geometric modeling, computational science, problem solving environments |
11 | Chandrajit L. Bajaj, Daniel Schikore |
Distributed Design of Hip Prostheses with BHAUTIK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February 14-16, 1993, pp. 36-39, 1993, ACM, 0-89791-567-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
distributed systems, computational science, collaborative design, problem solving environments |
11 | Norbert Kuhn |
Comparing rankings of heterogeneous agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COOCS ![In: Proceedings of the Conference on Organizational Computing Systems, COOCS 1993, Milpitas, California, USA, November 1-4, 1993, pp. 1-12, 1993, ACM, 978-0-89791-627-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
task decomposition and task allocation, multi-agent systems, cooperative problem solving |
11 | Martin C. Emele, Ulrich Heid, Stefan Momma, Rémi Zajac |
Interactions between linguistic constraints: Procedural vs. declarative approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 7(1-2), pp. 61-98, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
multilingual generation, typed feature terms, order-sorted unification, constraint solving |
11 | Janet L. Kolodner |
An introduction to case-based reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 6(1), pp. 3-34, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
experience, problem-solving, Case-based reasoning |
11 | Ashwin Ram 0001, Lawrence Hunter |
The use of explicit goals for knowledge to guide inference and learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 2(1), pp. 47-73, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Knowledge goals, diagnostic problem solving, learning, inference, natural language understanding |
11 | Yvonne Rogers |
Ghosts in the Network: Distributed Troubleshooting in a Shared Working Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW '92, Proceedings of the Conference on Computer Supported Cooperative Work, Toronto, Canada, October 31 - November 4, 1992, pp. 346-355, 1992, ACM, 0-89791-542-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
ethnographic analysis, distributed problem-solving, networked technologies, breakdowns |
11 | Sharon Garber, Mitch B. Grunes |
The Art of Search: A Study of Art Directors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1992, Monterey, CA, USA, May 3-7, 1992, Proceedings, pp. 157-163, 1992, ACM, 0-89791-513-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
visual problem solving, searching, navigation, user models, cognitive models, task analysis, user interface models |
11 | Koen Bertels, Philip Vanneste, Carlos De Backer |
A Cognitive Model of Programming Knowledge for Procedural Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings, pp. 124-135, 1992, Springer, 3-540-55578-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
programming knowledge, human problem solving, knowledge based CAI-systems, cognitive model |
11 | A. Ovalle, Catherine Garbay |
KIDS: A Distributed Expert System for Biomedical Image Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 12th International Conference, IPMI'91, Wye, UK, July 7-12, 1991, Proceedings, pp. 419-433, 1991, Springer, 3-540-54246-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
High-level Modelling of Human Reasoning, Distributed Artificial Intelligence : Multi-Agent Design, Software Architecture for Computer-assisted Problem Solving, Human-Computer Interaction for Breast Cancer Cyto-Diagnosis |
11 | F. Zerr, Jean-Gabriel Ganascia |
Integrating an Explanation-Based Learning Mechanism into a General Problem-Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSL ![In: Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, pp. 62-80, 1991, Springer, 3-540-53816-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
EBG, problem solving, production systems, Chunking, Explanation-based learning |
11 | Robert G. Reynolds, Jonathan I. Maletic, Stephen E. Porvin |
PM: A System to Support the Automatic Acquisition of Programming Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 2(3), pp. 273-282, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
partial metrics, code modules, hierarchically structured collection, object-oriented stepwise implementation, symbolic learning, frame-based encoding, problem-solving activities, sort module, software engineering, object-oriented programming, heuristic, knowledge acquisition, knowledge acquisition, aggregates, library, chunking, stepwise refinement, PM |
11 | Reid G. Smith |
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 29(12), pp. 1104-1113, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
high-level protocols, Artificial Intelligence (AI), resource allocation, cooperation, connection, negotiation, distributed problem solving, focus, task-sharing |
11 | Walter Maner |
Curriculum generators: Some design problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (2) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II, pp. 753-758, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Technology and man, Artificial intelligence, Theorem-proving, Logic, Problem-solving, Cognition, Curriculum development, Heuristic methods, Computer- assisted instruction |
11 | Gerald A. Wilson, Jack Minker |
Resolution, Refinements, and Search Strategies: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(8), pp. 782-801, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
linear resolution, P1 resolution, proof procedure system, Q* algorithm, resolution inference, set of support resolution, ?* algorithm, SL resolution, theorem proving, problem solving, search strategies, Comparative analysis |
11 | Daniel H. Fishman |
A Problem-Oriented Search Procedure for Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(8), pp. 807-815, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
search procedures, Problem solving, resolution |
11 | Robert F. Simmons |
Synthex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(3), pp. 140, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
analysis of a natural language, cognitive machines, computer simulation of human learning and problem solving, artificial intelligence, self-organizing systems |
11 | Murray A. Geisler, Wilbur A. Steger |
Manned simulation research in complex control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(7), pp. 323, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
cost/effectiveness of complex man-machine control systems, man-machine comparisons, manned computer simulations, problem solving, human learning |
11 | Douglas T. Ross |
Computer-aided design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(5), pp. 235, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
efficient computation of very large complex problems, manual intervention techniques and equipment, numerical control processes, operating and debugging systems, problem formulation, information retrieval, artificial intelligence, problem solving, language design, automatic programming, symbol manipulation, techniques, compiler techniques |
11 | Hongyan Zhang 0005, Yu Zhou, Yu-Tao Li, Fu-Yun Li, Yong-Hui Jiang |
CDIO-CT collaborative strategy for solving complex STEM problems in system modeling and simulation: An illustration of solving the period of mathematical pendulum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 32(2), March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm |
Variational satisfiability solving: efficiently solving lots of related SAT problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 28(1), pp. 14, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Muhammad Nadeem, Ahmad F. Taha |
Sorta Solving the OPF by Not Solving the OPF: DAE Control Theory and the Price of Realtime Regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.03699, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Tatiana Balbi Fraga |
COPSolver: Open source software for solving combinatorial optimization and other decision problems - Library for solving the multi-product p-batch processing time maximization problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Impacts ![In: Softw. Impacts 18, pp. 100592, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm |
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, pp. 129-130, 2023, Gesellschaft für Informatik e.V., 978-3-88579-726-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Yingting Chen, Taro Kanno, Kazuo Furuta |
Cognition-oriented Facilitation and Guidelines for Collaborative Problem-solving Online and Face-to-face: An in-depth examination of format and facilitation influence on problem-solving performance. ![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. 61:1-61:15, 2023, ACM, 978-1-4503-9421-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yingting Chen, Taro Kanno, Kazuo Furuta |
An Empirical Investigation of the Underlying Cognitive Process in Complex Problem Solving: A Proposal of Problem-Solving Discussion Performance Evaluation Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Cogn. Informatics Nat. Intell. ![In: Int. J. Cogn. Informatics Nat. Intell. 16(1), pp. 1-25, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Ahmed F. Abdel Jalil, Ayad R. Khudair |
Toward solving fractional differential equations via solving ordinary differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 41(1), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Dengfeng Ke, Yanlu Xie, Jinsong Zhang 0001, Liangjie Huang |
Solving Size and Performance Dilemma by Reversible and Invertible Recurrent Network for Speech Enhancement: Solving Size and Performance Dilemma by Reversible and Invertible Recurrent Network for Speech Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPR ![In: Proceedings of the 5th International Conference on Artificial Intelligence and Pattern Recognition, AIPR 2022, Xiamen, China, September 23-25, 2022, pp. 956-962, 2022, ACM, 978-1-4503-9689-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Anutra Phoosamrong, Charuni Samat, Pornsawan Vongtathum |
Development of Web-Based Learning Environment to Promote Problem Solving on Problem Solving in Computational Science for Secondary School. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITL ![In: Innovative Technologies and Learning - 5th International Conference, ICITL 2022, Virtual Event, August 29-31, 2022, Proceedings, pp. 201-210, 2022, Springer, 978-3-031-15272-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Mitja Kulczynski |
Light On String Solving: Approaches to Efficiently and Correctly Solving String Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
11 | Tianyi Chen, Yuejiao Sun, Wotao Yin |
Solving Stochastic Compositional Optimization is Nearly as Easy as Solving Stochastic Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 69, pp. 4937-4948, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Tony Gorschek, Daniel Méndez 0001 |
Solving Problems or Enabling Problem-Solving? from Purity in Empirical Software Engineering to Effective Co-production (Invited Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWQD ![In: Software Quality: Future Perspectives on Software Engineering Quality - 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021, Proceedings, pp. 109-116, 2021, Springer, 978-3-030-65853-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Citra Utami, Nindy Citroresmi Prihatiningtyas, Rosmaiyadi, Nurul Husna, Rika Wahyuni, Andi Mursidi |
Ability of Problem Solving and Critical Thinking of Students in Learning of Creative Problem Solving (CPS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIEI ![In: ICIEI 2021: The 6th International Conference on Information and Education Innovations, Belgrade, Serbia, April 16 - 18, 2021, pp. 99-103, 2021, ACM, 978-1-4503-8948-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Frédéric Lardeux, Éric Monfroy, Eduardo Rodriguez-Tello, Broderick Crawford, Ricardo Soto 0001 |
Solving complex problems using model transformations: from set constraint modeling to SAT instance solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 149, pp. 113243, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Tianyi Chen, Yuejiao Sun, Wotao Yin |
Solving Stochastic Compositional Optimization is Nearly as Easy as Solving Stochastic Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.10847, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
11 | Min Hae Song, Jung Ae Park, Jooyong Park |
Measuring Collaborative Problem Solving Capability in Creative Problem Solving Situation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP (Companion) ![In: Companion of the 2020 ACM International Conference on Supporting Group Work, GROUP 2020, Sanibel Island, FL, USA, January 6-8, 2020, pp. 103-106, 2020, ACM, 978-1-4503-6767-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Vladimir Nikishkin |
Solving SICP: An Experience Report on Solving the World's Most Famous Programming Problem Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scheme@ICFP ![In: Proceedings of the 2020 Scheme and Functional Programming Workshop, Online, Virtual Event, August 20-28, 2020., pp. 14-50, 2020, University of Michigan. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
11 | Sumalee Chaijaroen, Issara Kanjug, Charuni Samat, Piyaporn Wonganu |
Outcomes of Problem-Solving Using Constructivist Learning Environment to Enhance Learners' Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITL ![In: Innovative Technologies and Learning - Third International Conference, ICITL 2020, Porto, Portugal, November 23-25, 2020, Proceedings, pp. 591-597, 2020, Springer, 978-3-030-63884-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Mohammad Bagherbeik, Parastoo Ashtari, Seyed Farzad Mousavi, Kouichi Kanda, Hirotaka Tamura, Ali Sheikholeslami |
A Permutational Boltzmann Machine with Parallel Tempering for Solving Combinatorial Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN (1) ![In: Parallel Problem Solving from Nature - PPSN XVI - 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I, pp. 317-331, 2020, Springer, 978-3-030-58111-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Sehoon Cho |
A Study on the Effect of Improved Collective Intelligence Combined with TRIZ Methodology for Solving Complex Technology Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFC ![In: Systematic Complex Problem Solving in the Age of Digitalization and Open Innovation - 20th International TRIZ Future Conference, TFC 2020, Cluj-Napoca, Romania, October 14-16, 2020, Proceedings, pp. 383-398, 2020, Springer, 978-3-030-61294-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Igor Zadesenets |
Problem-Solving Tools as Methods for Managing the Information Content of Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFC ![In: Systematic Complex Problem Solving in the Age of Digitalization and Open Innovation - 20th International TRIZ Future Conference, TFC 2020, Cluj-Napoca, Romania, October 14-16, 2020, Proceedings, pp. 88-100, 2020, Springer, 978-3-030-61294-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese |
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA@AI*IA ![In: Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, Online Event, November 25-27, 2020., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
11 | Daniel Prusa, Tomás Werner |
Solving LP Relaxations of Some NP-Hard Problems Is As Hard As Solving Any Linear Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 29(3), pp. 1745-1771, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Kevin Kells |
A Proposed Practical Problem-Solving Framework for Multi-Stakeholder Initiatives in Socio-Ecological Systems Based on a Model of the Human Cognitive Problem-Solving Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.13155, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
11 | Manjit Singh Sidhu |
Evaluation Study Outcome of Augmented Reality Technology for Solving Engineering Problems in UNITEN: Augmented Reality Technology for Solving Engineering Problems in UNITEN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Commun. Technol. Educ. ![In: Int. J. Inf. Commun. Technol. Educ. 15(2), pp. 69-84, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Abdelhafid Chadli, Erwan Tranvouez, Fatima Bendella |
Learning Word Problem Solving Process in Primary School Students: An Attempt to Combine Serious Game and Polya's Problem Solving Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Analytics Approaches in Educational Games and Gamification Systems ![In: Data Analytics Approaches in Educational Games and Gamification Systems, pp. 139-163, 2019, Springer, 978-981-32-9334-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Margus Pedaste, Tauno Palts, Külli Kori, Maarja Sõrmus, Äli Leijen |
Complex Problem Solving as a Construct of Inquiry, Computational Thinking and Mathematical Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: 19th IEEE International Conference on Advanced Learning Technologies, ICALT 2019, Maceió, Brazil, July 15-18, 2019, pp. 227-231, 2019, IEEE, 978-1-7281-3485-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Anita, Anupam Yadav, Nitin Kumar |
Artificial Electric Field Algorithm for Solving Real Parameter CEC 2017 Benchmark Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (1) ![In: Soft Computing for Problem Solving 2019 - Proceedings of SocProS 2019, Volume 1, Liverpool Hope University, UK, 2-4 September 2019, pp. 161-169, 2019, Springer, 978-981-15-3289-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | L. Darrell Whitley, Swetha Varadarajan, Rachel Hirsch, Anirban Mukhopadhyay 0001 |
Exploration and Exploitation Without Mutation: Solving the Jump Function in \varTheta (n) Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN (2) ![In: Parallel Problem Solving from Nature - PPSN XV - 15th International Conference, Coimbra, Portugal, September 8-12, 2018, Proceedings, Part II, pp. 55-66, 2018, Springer, 978-3-319-99258-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | G. H. Aalvanger, Ngoc Hoang Luong, Peter A. N. Bosman, Dirk Thierens |
Heuristics in Permutation GOMEA for Solving the Permutation Flowshop Scheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN (1) ![In: Parallel Problem Solving from Nature - PPSN XV - 15th International Conference, Coimbra, Portugal, September 8-12, 2018, Proceedings, Part I, pp. 146-157, 2018, Springer, 978-3-319-99252-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Genovefa Kefalidou |
When immediate interactive feedback boosts optimization problem solving: A 'human-in-the-loop' approach for solving Capacitated Vehicle Routing Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 73, pp. 110-124, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek |
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 4864-4868, 2017, ijcai.org, 978-0-9992411-0-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Günther Charwat, Stefan Woltran |
Expansion-based QBF Solving on Tree Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCRA@AI*IA ![In: Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017., pp. 16-26, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | Akanksha Samar, R. S. Sharma |
Design of Semi-chaotic Integration-Based Particle Swarm Optimization Algorithm and Also Solving Travelling Salesman Problem Using It. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (1) ![In: Soft Computing for Problem Solving - SocProS 2017, Volume 1, Bhubaneswar, India, December 23-24, 2017., pp. 695-709, 2017, Springer, 978-981-13-1591-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Bruce M. McLaren, Tamara van Gog, Craig H. Ganoe, Michael Karabinos, David J. Yaron |
The efficiency of worked examples compared to erroneous examples, tutored problem solving, and problem solving in computer-based learning environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 55, pp. 87-99, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Luis Miguel Antonio, Carlos A. Coello Coello |
Decomposition-Based Approach for Solving Large Scale Multi-objective Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN XIV - 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings, pp. 525-534, 2016, Springer, 978-3-319-45822-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Vanita Garg, Kusum Deep |
Effectiveness of Constrained Laplacian Biogeography Based Optimization for Solving Structural Engineering Design Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (2) ![In: Proceedings of Sixth International Conference on Soft Computing for Problem Solving - SocProS 2016, Volume 2, Thapar University, Patiala, India, December 23-24, 2016., pp. 206-219, 2016, 978-981-10-3324-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Amandeep Kaur Virk, Kawaljeet Singh |
Solving Multi-objective Two Dimensional Rectangle Packing Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (2) ![In: Proceedings of Sixth International Conference on Soft Computing for Problem Solving - SocProS 2016, Volume 2, Thapar University, Patiala, India, December 23-24, 2016., pp. 188-196, 2016, 978-981-10-3324-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Ife Adebara, Verónica Dahl |
Grammar Induction as Automated Transformation between Constraint Solving Models of Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KnowProS@IJCAI ![In: Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, USA, July 10, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
11 | Yuxin Chen 0002, Emmanuel J. Candès |
Solving Random Quadratic Systems of Equations Is Nearly as Easy as Solving Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.05114, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
11 | Broderick Crawford, Ricardo Soto 0001, Kathleen Crawford, Franklin Johnson, Claudio León de la Barra, Sergio Galdames |
Experiential Solving: Towards a Unified Autonomous Search Constraint Solving Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (27) ![In: HCI International 2015 - Posters' Extended Abstracts - International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I, pp. 573-577, 2015, Springer, 978-3-319-21379-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
11 | Yuxin Chen 0002, Emmanuel J. Candès |
Solving Random Quadratic Systems of Equations Is Nearly as Easy as Solving Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, December 7-12, 2015, Montreal, Quebec, Canada, pp. 739-747, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
11 | Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia |
An Empirical Perspective on Ten Years of QBF Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCRA@AI*IA ![In: Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015., pp. 62-75, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
11 | Abhinav Anand, Aditi Kothiyal, Bipin Rajendran, Sahana Murthy |
Guided Problem Solving and Group Programming: A Technology-Enhanced Teaching-Learning Strategy for Engineering Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T4E ![In: Sixth IEEE International Conference on Technology for Education, T4E 2014, Amritapuri, India, December 18-21, 2014, pp. 126-133, 2014, IEEE Computer Society, 978-1-4799-6489-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
11 | Maktuba Mohid, Julian Francis Miller, Simon L. Harding, Gunnar Tufte, Odd Rune Lykkebø, Mark K. Massey, Michael C. Petty |
Evolution-In-Materio: Solving Machine Learning Classification Problems Using Materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN XIII - 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings, pp. 721-730, 2014, Springer, 978-3-319-10761-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
11 | A. J. Umbarkar, P. D. Sheth, S. V. Babar |
Solving 0/1 Knapsack Problem Using Hybrid TLBO-GA Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (1) ![In: Proceedings of Fourth International Conference on Soft Computing for Problem Solving - SocProS 2014, Volume 1, NIT Silchar, Silchar, Assam, India, December 27-29, 2014., pp. 1-10, 2014, Springer, 978-81-322-2216-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
11 | Hira Zaheer, Millie Pant |
A Differential Evolution Approach for Solving Integer Programming Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (2) ![In: Proceedings of Fourth International Conference on Soft Computing for Problem Solving - SocProS 2014, Volume 2, NIT Silchar, Silchar, Assam, India, December 27-29, 2014., pp. 409-420, 2014, Springer, 978-81-322-2219-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
11 | Akshay K. Ojha, Y. Ramu Naidu |
Hybridizing Particle Swarm Optimization with Invasive Weed Optimization for Solving Nonlinear Constrained Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (2) ![In: Proceedings of Fourth International Conference on Soft Computing for Problem Solving - SocProS 2014, Volume 2, NIT Silchar, Silchar, Assam, India, December 27-29, 2014., pp. 595-606, 2014, Springer, 978-81-322-2219-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
11 | Animesh Biswas, Arnab Kumar De |
On Solving Multiobjective Quadratic Programming Problems in a Probabilistic Fuzzy Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (1) ![In: Proceedings of Fourth International Conference on Soft Computing for Problem Solving - SocProS 2014, Volume 1, NIT Silchar, Silchar, Assam, India, December 27-29, 2014., pp. 543-557, 2014, Springer, 978-81-322-2216-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
11 | Do Guen Yoo, Ali Sadollah, Joong Hoon Kim, Ho Min Lee |
Application of New Hybrid Harmony Search Algorithms Based on Cellular Automata Theory for Solving Magic Square Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (1) ![In: Proceedings of Fourth International Conference on Soft Computing for Problem Solving - SocProS 2014, Volume 1, NIT Silchar, Silchar, Assam, India, December 27-29, 2014., pp. 245-253, 2014, Springer, 978-81-322-2216-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
11 | Pooja Tripathi, Jayanthi Ranjan, Tarun Pandeya |
Assessing the Soft Computing Approach for Problem Solving in the Multi Criteria Decision Making for Performance Assessment in Indian Institutions Through Case Study Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (2) ![In: Proceedings of the Third International Conference on Soft Computing for Problem Solving - SocProS 2013, Volume 2, Greater Noida Extension Centre, IIT Roorkee, India, December 26-28, 2013., pp. 325-336, 2013, Springer, 978-81-322-1767-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
11 | Clemens Zeidler, Christof Lutteroth, Gerald Weber |
Constraint solving for beautiful user interfaces: how solving strategies support layout aesthetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHINZ ![In: 13th Annual Conference of the NZ ACM Special Interest Group on Human-Computer Interaction, CHINZ '12, Dunedin, New Zealand - July 02 - 03, 2012, pp. 72-79, 2012, ACM, 978-1-4503-1474-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
11 | Nija Mani, Gursaran, A. K. Sinha, Ashish Mani |
Taguchi-Based Tuning of Rotation Angles and Population Size in Quantum-Inspired Evolutionary Algorithm for Solving MMDP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS ![In: Proceedings of the Second International Conference on Soft Computing for Problem Solving, SocProS 2012, December 28-30, 2012, JK Lakshmipat University (JKLU), Jaipur, India, pp. 105-111, 2012, Springer, 978-81-322-1601-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
11 | Sandhya Bansal 0001, Rajeev Kumar Goel, C. Mohan 0002 |
Use of Ant Colony System in Solving Vehicle Routing Problem with Time Window Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS ![In: Proceedings of the Second International Conference on Soft Computing for Problem Solving, SocProS 2012, December 28-30, 2012, JK Lakshmipat University (JKLU), Jaipur, India, pp. 39-50, 2012, Springer, 978-81-322-1601-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
11 | Bhawna Minocha, Saswati Tripathi |
Solving School Bus Routing Problem Using Hybrid Genetic Algorithm: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS ![In: Proceedings of the Second International Conference on Soft Computing for Problem Solving, SocProS 2012, December 28-30, 2012, JK Lakshmipat University (JKLU), Jaipur, India, pp. 93-103, 2012, Springer, 978-81-322-1601-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
11 | Jing Fang Tan, Shih S. Sen Chang |
A New Hybrid Algorithm for Solving a System of Generalized Mixed Equilibrium Problems, Solving a Family of Quasi-ϕ-Asymptotically Nonexpansive Mappings, and Obtaining Common Fixed Points in Banach Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2011, pp. 106323:1-106323:16, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Jessica Davies 0001, Fahiem Bacchus |
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 225-239, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Sanjeev Kumar, D. K. Chaturvedi |
A Fuzzy Particle Swarm Optimization for Solving the Economic Dispatch Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (1) ![In: Proceedings of the International Conference on Soft Computing for Problem Solving (SocProS 2011) December 20-22, 2011 - Volume 1, pp. 99-110, 2011, Springer, 978-81-322-0486-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Ray J. Paul, Jasna Kuljis |
Problem solving, model solving, or what? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2010 Winter Simulation Conference, WSC 2010, Baltimore, Maryland, USA, 5-8 December 2010, pp. 353-358, 2010, IEEE, 978-1-4244-9864-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Sven Schulz, Wolfgang Blochinger |
Cooperate and compete! A hybrid solving strategy for task-parallel SAT solving on Peer-to-Peer Desktop Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: Proceedings of the 2010 International Conference on High Performance Computing & Simulation, HPCS 2010, June 28 - July 2, 2010, Caen, France, pp. 314-323, 2010, IEEE, 978-1-4244-6828-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
|
|