Готові списки джерел за темами / Problem-solving system

Добірка наукової літератури з теми "Problem-solving system"

Автор: Grafiati
Опубліковано: 10 грудня 2022
Оновлено: 28 січня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Зміст

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Problem-solving system".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Problem-solving system"

1

Muliarevych, Oleksandr. "Cyber-Physical System for Solving Travelling Salesman Problem." Advances in Cyber-Physical Systems 2, no. 1 (March 28, 2017): 22–28. http://dx.doi.org/10.23939/acps2017.01.022.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Rodriguez-Ulloa, Ricardo A. "The problem-solving system: Another problem-content system." Systems Practice 1, no. 3 (September 1988): 243–57. http://dx.doi.org/10.1007/bf01062923.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

WANG, PEI. "PROBLEM SOLVING WITH INSUFFICIENT RESOURCES." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12, no. 05 (October 2004): 673–700. http://dx.doi.org/10.1142/s0218488504003144.

Повний текст джерела
Анотація:
A new approach, "controlled concurrency," is introduced for inference control in an adaptive reasoning system working with insufficient knowledge and resources. With this method, a problem-solving process is constructed from atomic steps in run time, according to the system's past experience and the current context. The system carries out many such processes in parallel by distributing its resources among them, and dynamically adjusting the distribution according to feedback. A data structure, "bag," is designed to support this dynamic time-space allocation, and is a kind of probabilistic priority queue. This approach provides a flexible, efficient, and adaptive control mechanism for real-time systems working with uncertain knowledge. To analyze problem solving in such a system, the traditional computability theory and computational complexity theory become inappropriate, because the system no longer follows problem-specific algorithms in problem solving.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

SHIMOSAKA, Hisashi, Tomoyuki HIROYASU, and Mitsunori MIKI. "Optimization Problem Solving System using GridRPC." Transactions of the Japan Society of Mechanical Engineers Series C 72, no. 716 (2006): 1207–14. http://dx.doi.org/10.1299/kikaic.72.1207.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

SHIMOSAKA, Hisashi, Tomoyuki HIROYASU, and Mitsunori MIKI. "Optimization Problem Solving System using GridRPC." Proceedings of Design & Systems Conference 2003.13 (2003): 92–95. http://dx.doi.org/10.1299/jsmedsd.2003.13.92.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Winzer, Petra. "Generic System Description and Problem Solving in Systems Engineering." IEEE Systems Journal 11, no. 4 (December 2017): 2052–61. http://dx.doi.org/10.1109/jsyst.2015.2428811.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Keys, Paul. "System dynamics as a systems-based problem-solving methodology." Systems Practice 3, no. 5 (October 1990): 479–93. http://dx.doi.org/10.1007/bf01064156.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Still, Jospeh. "Condominium noise issues: Problem solving with flooring systems and solving flooring system problems." Journal of the Acoustical Society of America 119, no. 5 (May 2006): 3220. http://dx.doi.org/10.1121/1.4785919.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Hudlicka, Eva, and Victor Lesser. "Modeling and Diagnosing Problem-Solving System Behavior." IEEE Transactions on Systems, Man, and Cybernetics 17, no. 3 (1987): 407–19. http://dx.doi.org/10.1109/tsmc.1987.4309057.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Applegate, B., T. Fernandez, and D. Sarker. "Analogical problem solving in an expert system." IEEE Transactions on Systems, Man, and Cybernetics 22, no. 5 (1992): 1138–44. http://dx.doi.org/10.1109/21.179851.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "Problem-solving system"

1

Loughlin, Simon Patrick. "Modelling expertise in quantitative scientific problem solving." Thesis, Queen's University Belfast, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.268228.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Henneman, Richard Lewis. "Human problem solving in complex hierarchical large scale systems." Diss., Georgia Institute of Technology, 1985. http://hdl.handle.net/1853/25432.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Li, Vincent. "Knowledge representation and problem solving for an intelligent tutoring system." Thesis, University of British Columbia, 1990. http://hdl.handle.net/2429/29657.

Повний текст джерела
Анотація:
As part of an effort to develop an intelligent tutoring system, a set of knowledge representation frameworks was proposed to represent expert domain knowledge. A general representation of time points and temporal relations was developed to facilitate temporal concept deductions as well as facilitating explanation capabilities vital in an intelligent advisor system. Conventional representations of time use a single-referenced timeline and assigns a single unique value to the time of occurrence of an event. They fail to capture the notion of events, such as changes in signal states in microcomputer systems, which do not occur at precise points in time, but rather over a range of time with some probability distribution. Time is, fundamentally, a relative quantity. In conventional representations, this relative relation is implicitly defined with a fixed reference, "time-zero", on the timeline. This definition is insufficient if an explanation of the temporal relations is to be constructed. The proposed representation of time solves these two problems by representing a time point as a time-range and making the reference point explicit. An architecture of the system was also proposed to provide a means of integrating various modules as the system evolves, as well as a modular development approach. A production rule EXPERT based on the rule framework used in the Graphic Interactive LISP tutor (GIL) [44, 45], an intelligent tutor for LISP programming, was implemented to demonstrate the inference process using this time point representation. The EXPERT is goal-driven and is intended to be an integral part of a complete intelligent tutoring system.
Applied Science, Faculty of
Electrical and Computer Engineering, Department of
Graduate
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Buck, Fernando. "Cooperative Problem Solving With a Distributed Agent System - Swarm Intelligence." [S.l. : s.n.], 2005. http://nbn-resolving.de/urn:nbn:de:bsz:747-opus-299.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Marshall, Thomas E. (Thomas Edward) 1954. "Task Domain Knowledge as a Moderator of Information System Usage." Thesis, University of North Texas, 1993. https://digital.library.unt.edu/ark:/67531/metadc278541/.

Повний текст джерела
Анотація:
Information system (IS) support of human problem solving during the complex task of auditing within a computer environment was investigated. 74 computer audit specialist professionals from nine firms participated in the field experiment. Task accomplishment behavior was recorded via a computerized activity-logging technique. Theoretical constructs of interest included: 1) IS problem-solving support, 2) task domain knowledge, and 3) decision-making behavior. It was theorized that task domain knowledge influences the type of IS most functionally appropriate for usage by that individual. IS task presentation served as the treatment variable. Task domain knowledge was investigated as a moderating factor of task accomplishment Task accomplishment, the dependent variable, was defined as search control strategy and quality of task performance. A subject's task domain knowledge was assessed over seven theoretical domains. Subjects were assigned to higher or lower task domain knowledge groups based on performance on professional competency examination questions. Research hypothesis one investigated the effects of task domain knowledge on task accomplishment behavior. Several task domain knowledge bases were found to influence both search control strategy and task performance. Task presentation ordering effects, hypothesis two, were not found to significantly influence search control strategy or task performance. The third hypothesis investigated interaction effects of a subject's task domain knowledge and task presentation ordering treatments on task accomplishment behavior. An interaction effect was found to influence the subject's search control strategy. The computer-specific knowledge base and task presentation ordering treatments were found to interact as joint moderators of search control strategy. Task performance was not found to be significantly influenced by interaction effects. Users' task accomplishment was modeled based upon problem-solving behavior. A subject's level of task domain knowledge was found to serve as a moderating factor of IS usage. Human information-processing strategies, IS usage, and task domain knowledge were integrated into a comprehensive IS user task model. This integrated model provides a robust characterization scheme for IS problem-solving support in a complex task environment.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Mashhadi, Tahereh Yaghoobi. "Defining the selective mechanism of problem solving in a distributed system." Thesis, Sheffield Hallam University, 2001. http://shura.shu.ac.uk/20022/.

Повний текст джерела
Анотація:
Distribution and parallelism are historically important approaches for the implementation of artificial intelligence systems. Research in distributed problem solving considers the approach of solving a particular problem by sharing the problem across a number of cooperatively acting processing agents. Communicating problem solvers can cooperate by exchanging partial solutions to converge on global results. The purpose of this research programme is to make a contribution to the field of Artificial Intelligence by developing a knowledge representation language. The project has attempted to create a computational model using an underlying theory of cognition to address the problem of finding clusters of relevant problem solving agents to provide appropriate partial solutions, which when put together provide the overall solution for a given complex problem. To prove the validity of this approach to problem solving, a model of a distributed production system has been created. A model of a supporting parallel architecture for the proposed distributed production problem solving system (DPSS) is described, along with the mechanism for inference processing. The architecture should offer sufficient computing power to cope with the larger search space required by the knowledge representation, and the required faster methods of processing. The inference engine mechanism, which is a combination of task sharing and result sharing perspectives, is distinguished into three phases of initialising, clustering and integrating. Based on a fitness measure derived to balance the communication and computation for the clusters, new clusters are assembled using genetic operators. The algorithm is also guided by the knowledge expert. A cost model for fitness values has been used, parameterised by computation ration and communication performance. Following the establishment of this knowledge representation scheme and identification of a supporting parallel architecture, a simulation of the array of PEs has been developed to emulate the behaviour of such a system. The thesis reports on findings from a series of tests used to assess its potential gains. The performance of the DPSS has been evaluated to verify the validity of this approach by measuring the gain in speed of execution in a parallel environment as compared with serial processing. The evaluation of test results shows the validity of the proposed approach in constructing large knowledge based systems.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Dolhanenko, O. D., and M. S. Shirokopetleva. "Solving the Store Integration Problem in the Bonus Sharing System “Bonusharing”." Thesis, НТУ «ХПІ», 2020. https://openarchive.nure.ua/handle/document/16145.

Повний текст джерела
Анотація:
The whole idea of sharing virtual store bonuses will not work if there are not many stores participating and co-working with the service. The “BonuSharing” system is being developed with ease of client integration in mind, which is key to the service success.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Saltsman, Benjamin 1969. "Creativity and problem solving skills as a function of learning transfer." Thesis, Massachusetts Institute of Technology, 2002. http://hdl.handle.net/1721.1/91751.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Leishman, Scott. "A constraint based assignment system for protein 2D nuclear magnetic resonance." Thesis, University of Aberdeen, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.320275.

Повний текст джерела
Анотація:
The interpretation of Nuclear Magnetic Resonance (NMR) spectra to produce a 3D protein structure is a difficult and time consuming task. The 3D structure is important because it largely determines the properties of the protein. Therefore, knowledge of the 3D structure can aid in the understanding of its biological function and perhaps lead to modifications which have an enhanced therapeutic activity. An NMR experiment produces a large 2D data spectrum. The important part of the spectrum consists of thousands of small cross peaks and the interpretation task is to associate a pair of hydrogen nuclei with each peak. Manual interpretation takes many months and there is considerable interest in providing (semi-) automatic tools to speed up this process. The interpretation is difficult because the number of combinations can quickly swamp the human mind and the spectrum suffers from peaks overlapping and random noise effects. ASSASSIN (A Semi-automatic Assignment System Specialising In Nmr) is a distributed problem solving system that has been implemented in the identification of peaks associated with the hydrogen nuclei at the end of long side chains. These results are then passed onto the structural assignment stage. The structural assignment stage is a feedback loop which involves the interpretation of a spectrum and the generation of preliminary structural models. These models can then be used to simplify further analysis of the spectrum. ASSASSIN uses a constraint manager implemented in CHIP to analyse this data more quickly and thoroughly than a human. The results of this work reveal that a constraint based approach is well suited to the NMR domain where the problems can be easily represented and solved efficiently.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Verstak, Alexandre. "Data and Computation Modeling for Scientific Problem Solving Environments." Thesis, Virginia Tech, 2002. http://hdl.handle.net/10919/35299.

Повний текст джерела
Анотація:
This thesis investigates several issues in data and computation modeling for scientific problem solving environments (PSEs). A PSE is viewed as a software system that provides (i) a library of simulation components, (ii) experiment management, (iii) reasoning about simulations and data, and (iv) problem solving abstractions. Three specific ideas, in functionalities (ii)-(iv), form the contributions of this thesis. These include the EMDAG system for experiment management, the BSML markup language for data interchange, and the use of data mining for conducting non-trivial parameter studies. This work emphasizes data modeling and management, two important aspects that have been largely neglected in modern PSE research. All studies are performed in the context of S4W, a sophisticated PSE for wireless system design.
Master of Science
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Problem-solving system"

1

Problem solving in neuroradiology. Philadelphia, PA: Elsevier/Saunders, 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Doug, Elias, ed. Architecture of systems problem solving. 2nd ed. New York: Kluwer Academic/Plenum Publishers, 2003.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Klir, George J. Architecture of Systems Problem Solving. Boston, MA: Springer US, 2003.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Architecture of systems problem solving. New York: Plenum Press, 1985.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

1951-, Jackson Michael C., ed. Creative problem solving: Total systems intervention. Chichester: Wiley, 1991.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Morrison, William B. Problem solving in musculoskeletal imaging. Philadelphia, PA: Mosby/Elsevier, 2008.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Problem solving in cardiovascular risk. Oxford: Clinical Pub., 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Kennedy, Lee. Problem solving in endocrinology and metabolism. Oxford: Clinical Pub., 2007.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Chacko, George Kuttickal. The systems approach to problem solving: From corporate markets to national missions. New York: Praeger, 1989.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

John, Boardman. Systemic thinking: Building maps for worlds of systems. Hoboken, New Jersey: Wiley, 2013.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Problem-solving system"

1

Patel, Suresh. "Problem Solving." In The Global Quality Management System, 125–34. Boca Raton, FL : CRC Press, [2016]: Productivity Press, 2016. http://dx.doi.org/10.1201/b19483-8.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Petrov, Vladimir. "System Approach." In TRIZ. Theory of Inventive Problem Solving, 35–49. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-04254-7_3.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Petrov, Vladimir. "Trends of System Evolution." In TRIZ. Theory of Inventive Problem Solving, 139–74. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-04254-7_8.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Valenzuela-Rendón, Manuel. "The fuzzy classifier system: Motivations and first results." In Parallel Problem Solving from Nature, 338–42. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/bfb0029774.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Foley, Harold, and Fred Petry. "Fuzzy Knowledge-Based System for Performing Conflation in Geographical Information Systems." In Intelligent Problem Solving. Methodologies and Approaches, 260–69. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-45049-1_32.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Hicks, Michael J. "A system by any other name." In Problem Solving in Business and Management, 208–25. Boston, MA: Springer US, 1991. http://dx.doi.org/10.1007/978-1-4899-7148-7_11.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Hempel, Oliver, Ulrich Büker, and Georg Hartmann. "Pawian — A Parallel Image Recognition System." In Intelligent Problem Solving. Methodologies and Approaches, 502–12. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-45049-1_60.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Menal, J., A. Moyes, S. McArthur, J. A. Steele, and J. McDonald. "Gas Circulator Design Advisory System: A Web Based Decision Support System for the Nuclear Industry." In Intelligent Problem Solving. Methodologies and Approaches, 160–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-45049-1_19.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Jacob, Christian. "Genetic L-System Programming." In Parallel Problem Solving from Nature — PPSN III, 333–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58484-6_277.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Mella, Piero. "Systems Thinking Applied to Problem Solving: System Levers." In Perspectives in Business Culture, 197–277. Milano: Springer Milan, 2012. http://dx.doi.org/10.1007/978-88-470-2565-3_4.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Problem-solving system"

1

Xuwei Liu, Lianfu Liu, Zhenhai Shao, Fan Wu, Fan Wang, Xun Jiang, Zhen Wang, and Bingju Chen. "The control system of a Ka-band communication system." In 2012 International Conference on Computational Problem-Solving (ICCP). IEEE, 2012. http://dx.doi.org/10.1109/iccps.2012.6384321.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Zhang, Weicun, and Xiaobo Wang. "Stability of T-S model based fuzzy control systems — Virtual equivalent system approach." In 2013 International Conference on Computational Problem-solving (ICCP). IEEE, 2013. http://dx.doi.org/10.1109/iccps.2013.6893573.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Huang, Shizhen, and Honghui Fu. "Design of embedded parking management system." In 2016 International Conference On Communication Problem-Solving (ICCP). IEEE, 2016. http://dx.doi.org/10.1109/iccps.2016.7751092.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Chen Ken, Huang Wei, and Wang Min. "Wearable support system for intelligent workshop application." In 2012 International Conference on Computational Problem-Solving (ICCP). IEEE, 2012. http://dx.doi.org/10.1109/iccps.2012.6384259.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Jiuhua Zhang, Guangpu He, and Qiang Jiang. "Study of scheme for photovoltaic power system." In 2012 International Conference on Computational Problem-Solving (ICCP). IEEE, 2012. http://dx.doi.org/10.1109/iccps.2012.6384295.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Fan, Ye, Li Kai, and Chen Hao. "Symbol timing algorithm for DC-OFDM system." In 2011 International Conference on Computational Problem-Solving (ICCP). IEEE, 2011. http://dx.doi.org/10.1109/iccps.2011.6092245.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Guang-li, Sun, Huang Wei, and Li Ji. "Improved VUI system based on maintenance device." In 2011 International Conference on Computational Problem-Solving (ICCP). IEEE, 2011. http://dx.doi.org/10.1109/iccps.2011.6092247.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Wang, Yu, Huiyong Li, and Xianglei Dong. "A suitable channel equalization method for navigation system." In 2013 International Conference on Computational Problem-solving (ICCP). IEEE, 2013. http://dx.doi.org/10.1109/iccps.2013.6893504.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Yao, Yi, and Jianhao Hu. "MIMO-OFDM PAPR reduction by residue number system." In 2013 International Conference on Computational Problem-solving (ICCP). IEEE, 2013. http://dx.doi.org/10.1109/iccps.2013.6893506.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Hsu, Meng-Yun, and Shiann-Tsong Sheu. "A low complexity algorithm for earthquake detection system." In 2016 International Conference On Communication Problem-Solving (ICCP). IEEE, 2016. http://dx.doi.org/10.1109/iccps.2016.7751128.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Problem-solving system"

1

Minker, Jack. Parallel Problem Solving System, PRISM (Parallel Inference System). Fort Belvoir, VA: Defense Technical Information Center, April 1988. http://dx.doi.org/10.21236/ada204915.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Price, Patti J., and Robert C. Moore. A Real-Time Spoken-Language System for Interactive Problem Solving. Fort Belvoir, VA: Defense Technical Information Center, May 1993. http://dx.doi.org/10.21236/ada266046.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Chung, Gregory K., Eva L. Baker, Girlie C. Delacruz, Jesse J. Elmore, William L. Bewley, and Bruce Seely. An Architecture for a Problem-Solving Assessment Authoring and Delivery System. Fort Belvoir, VA: Defense Technical Information Center, June 2006. http://dx.doi.org/10.21236/ada450110.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Baader, Franz, Pavlos Marantidis, and Alexander Okhotin. Approximately Solving Set Equations. Technische Universität Dresden, 2016. http://dx.doi.org/10.25368/2022.227.

Повний текст джерела
Анотація:
Unification with constants modulo the theory ACUI of an associative (A), commutative (C) and idempotent (I) binary function symbol with a unit (U) corresponds to solving a very simple type of set equations. It is well-known that solvability of systems of such equations can be decided in polynomial time by reducing it to satisfiability of propositional Horn formulae. Here we introduce a modified version of this problem by no longer requiring all equations to be completely solved, but allowing for a certain number of violations of the equations. We introduce three different ways of counting the number of violations, and investigate the complexity of the respective decision problem, i.e., the problem of deciding whether there is an assignment that solves the system with at most l violations for a given threshold value l.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Moore, Robert C., and Michael H. Cohen. A Real-Time Spoken-Language System for Interactive Problem-Solving, Combining Linguistic and Statistical Technology for Improved Spoken Language Understanding. Fort Belvoir, VA: Defense Technical Information Center, September 1993. http://dx.doi.org/10.21236/ada270901.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Antsiferov, Andrey, Oleksandr Glukhov, and Vadim Antsiferov. Experience in solving problem to control surface subsidence displacement in urban areas on the basis of the special-purpose geoinformation system “GeoMark”. Cogeo@oeaw-giscience, September 2011. http://dx.doi.org/10.5242/iamg.2011.0231.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Srinivasan, C. V. The Use of CK-LOG Formalism for Knowledge Representation and Problem Solving in OPPLAN-CONSULTANT: An Expert System for Naval Operational Planning. Fort Belvoir, VA: Defense Technical Information Center, September 1985. http://dx.doi.org/10.21236/ada160999.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Wilkins, David E. Research on Problem-Solving Systems. Fort Belvoir, VA: Defense Technical Information Center, February 1988. http://dx.doi.org/10.21236/ada195154.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Wilkins, David E. Research on Problem-Solving Systems. Fort Belvoir, VA: Defense Technical Information Center, October 1985. http://dx.doi.org/10.21236/ada162095.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Wilkins, David E. Research on Problem-Solving Systems. Fort Belvoir, VA: Defense Technical Information Center, October 1986. http://dx.doi.org/10.21236/ada174940.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Problem-solving system" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії