Search Results - acm: i.: computing methodologies/i.2: artificial intelligence/i.2.8: (problem OR problemy) solving~
-
1
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-04621787 ; 2025.
Subject Terms: Autonomous vehicles safety, Stochastic modelling, Continuous-time optimal control, Chance-constrained optimisation, Urban driving scenarios, Trajectory planning, Vehicle autonomous systems, MSC93E20 (Primary), 49J22, 65K10, 90C15, 90C40 (Secondary), ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.0: Constrained optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.10: Stochastic programming, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.1: Control theory, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2406.17317; ARXIV: 2406.17317
-
2
Authors: et al.
Contributors: et al.
Source: International Journal of Adaptive Control and Signal Processing. 37:1511-1535
Subject Terms: and Search/I.2.8.1: Control theory, H∞ filters' design, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION/I.4.3: Enhancement/I.4.3.0: Filtering, Nonlinear consequent parts, [SPI.AUTO]Engineering Sciences [physics]/Automatic, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, Switched Takagi-Sugeno models, Asynchronous switching laws, LMI-based conditions, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], ACM: B.: Hardware/B.5: REGISTER-TRANSFER-LEVEL IMPLEMENTATION/B.5.1: Design/B.5.1.1: Control design, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
-
3
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-04621787 ; 2024.
Subject Terms: Vehicle autonomous systems, Trajectory planning, Urban driving scenarios, Chance-constrained optimization, Continuous-time optimal control, Stochastic modelling, Autonomous vehicles safety, MSC93E20 (Primary), 49J22, 65K10, 90C15, 90C40 (Secondary), ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.0: Constrained optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.10: Stochastic programming, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.1: Control theory, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2406.17317; ARXIV: 2406.17317
-
4
Authors: et al.
Contributors: et al.
Source: EURO Journal on Computational Optimization, Vol 6, Iss 3, Pp 291-313 (2018)
Subject Terms: T57-57.97, Applied mathematics. Quantitative methods, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.4: Scheduling, 0211 other engineering and technologies, QA75.5-76.95, 02 engineering and technology, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory/G.2.2.0: Graph algorithms, 90B35, 90B36, [INFO.INFO-RO] Computer Science [cs]/Operations Research [math.OC], ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, 90-08, and Search/I.2.8.2: Dynamic programming, Electronic computers. Computer science, [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
File Description: application/pdf
Access URL: https://hal.archives-ouvertes.fr/hal-01635856/file/robust-basic-cyclic-
problem .pdf
https://doaj.org/article/15acdbc9b02f4ffdb5ab61490b1f53a8
https://hal.archives-ouvertes.fr/hal-01635856
https://hal.archives-ouvertes.fr/hal-01635856/document
https://www.sciencedirect.com/science/article/pii/S2192440621001040
https://link.springer.com/article/10.1007/s13675-018-0100-3
https://hal-enac.archives-ouvertes.fr/hal-01635856v1
https://ideas.repec.org/a/spr/eurjco/v6y2018i3d10.1007_s13675-018-0100-3.html -
5
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-03104345 ; 2021.
Subject Terms: emergency fleet coordination, break assignment, fleet scheduling, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.6: Scheduling, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence/I.2.11.0: Coherence and coordination, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development/I.6.5.0: Modeling methodologies, [INFO]Computer Science [cs], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
-
6
Authors: et al.
Contributors: et al.
Source: ISSN: 0257-0130.
Subject Terms: M/G/1 queue, Poisson equation, First-policy improvement, Policy iteration, Dispatching, PACS: 02.30.Lt, 02.30.Mv, 02.30.Uu, 02.50.Ga, 02.50.LeMSC: 40A30, 41A25, 41A50, 41A10, 42A10, 44A10, 60K20, 60K30, 62E20, 90B22, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1803.10688; ARXIV: 1803.10688
-
7
Authors: et al.
Contributors: et al.
Source: 13th European Meeting on Game Theory, SING 2017
https://hal.science/hal-01628432
13th European Meeting on Game Theory, SING 2017, Jul 2017, Paris, FranceSubject Terms: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.1: Applications and Expert Systems/I.2.1.1: Games, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence/I.2.11.3: Multiagent systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
8
Authors: et al.
Contributors: et al.
Source: International Conference on Automated Planning and Scheduling (ICAPS) ; https://hal.science/hal-01730655 ; International Conference on Automated Planning and Scheduling (ICAPS), Jun 2018, Delft, Netherlands. 9p
Subject Terms: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.9: Robotics, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.9: Robotics/I.2.9.0: Autonomous vehicles, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.5: Plan execution, formation, and generation, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Subject Geographic: Delft, Netherlands
-
9
Authors: et al.
Contributors: et al.
Source: ECC19 - European Control Conference ; https://hal.science/hal-02057396 ; ECC19 - European Control Conference, Jun 2019, Naples, Italy. pp.1695-1701, ⟨10.23919/ecc.2019.8795940⟩
Subject Terms: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.1: Control theory, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]
-
10
Authors: et al.
Contributors: et al.
Source: International Joint Conference on Artificial Intelligence, IJCAI 2017 ; https://hal.science/hal-01628421 ; International Joint Conference on Artificial Intelligence, IJCAI 2017, Aug 2017, Melbourne, Australia. pp.729 - 735, ⟨10.24963/ijcai.2017/101⟩
Subject Terms: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence/I.2.11.3: Multiagent systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
11
Authors: et al.
Contributors: et al.
Source: 19ème congrès de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF'18)
https://minesparis-psl.hal.science/hal-01736184
19ème congrès de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF'18), Feb 2018, Lorient, FranceSubject Terms: ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.6: Linear programming, [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [SDE.PLAN]Environmental Sciences/Energy planning
-
12
Authors: et al.
Contributors: et al.
Source: Open Algorithm Selection Challenge 2017 ; https://inria.hal.science/hal-01659700 ; Open Algorithm Selection Challenge 2017 , Sep 2017, Brussels, Belgium. pp.8-11 ; http://proceedings.mlr.press/v79/
Subject Terms: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.4: Heuristic methods, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
13
Authors: et al.
Contributors: et al.
Source: Actes JFPC 2017 ; Treizièmes Journées Francophones de Programmation par Contraintes, JFPC 2017 ; https://hal.science/hal-01628436 ; Treizièmes Journées Francophones de Programmation par Contraintes, JFPC 2017, Jun 2017, Montreuil sur Mer, France
Subject Terms: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.1: Applications and Expert Systems/I.2.1.1: Games, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search, and Search/I.2.8.4: Heuristic methods, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence/I.2.11.3: Multiagent systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subject Geographic: Montreuil sur Mer, France
-
14
Authors: et al.
Contributors: et al.
Source: Constraints. 20:109-154
Subject Terms: Consistency algorithms, Constraint optimization, Soft constraint satisfaction, and Search, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, Minimax game search, 0202 electrical engineering, electronic engineering, information engineering
-
15
Authors: et al.
Contributors: et al.
Source: 23rd International Conference on Principles and Practice of Constraint Programming (CP)
https://hal.science/hal-01544239
23rd International Conference on Principles and Practice of Constraint Programming (CP), Aug 2017, Melbourne, Australia. pp.460-476Subject Terms: Constraint programming, Conceptual clustering, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
16
Authors: et al.
Contributors: et al.
Source: Revue d'intelligence artificielle. 21:53-74
Subject Terms: Programmation dynamique avec approximation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.2: Approximation/G.1.2.9: Special function approximations, 05 social sciences, Itérations sur les valeurs, Approximation de fonctions, Analyse en norme $L_p$, and Search, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], 02 engineering and technology, 7. Clean energy, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, Programmation dynamique
File Description: application/pdf
Access URL: https://hal.inria.fr/inria-00116987/file/avi_RIA_final.pdf
https://inria.hal.science/inria-00116987v1
https://hal.inria.fr/inria-00116987/document
http://ria.revuesonline.com/article.jsp?articleId=9402
https://hal-univ-tlse3.archives-ouvertes.fr/EC-LILLE/inria-00116987v1
https://hal.archives-ouvertes.fr/docs/00/11/69/87/PDF/avi_RIA_final.pdf
https://hal.inria.fr/inria-00116987
https://dblp.uni-trier.de/db/journals/ria/ria21.html#Munos07 -
17
Authors: et al.
Contributors: et al.
Source: https://hal.archives-ouvertes.fr/hal-02925284 ; 2020.
Subject Terms: Dispatching, Policy iteration, First-policy improvement, Poisson equation, M/G/1 queue, PACS: 02.30.Lt, 02.30.Mv, 02.30.Uu, 02.50.Ga, 02.50.LeMSC: 40A30, 41A25, 41A50, 41A10, 42A10, 44A10, 60K20, 60K30, 62E20, 90B22, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1803.10688; hal-02925284; https://hal.archives-ouvertes.fr/hal-02925284; https://hal.archives-ouvertes.fr/hal-02925284/document; https://hal.archives-ouvertes.fr/hal-02925284/file/QUESTA-20.pdf; ARXIV: 1803.10688
-
18
Authors: et al.
Contributors: et al.
Source: ISSN: 1932-6203.
Subject Terms: ACM: H.: Information Systems/H.4: INFORMATION SYSTEMS APPLICATIONS/H.4.2: Types of Systems/H.4.2.0: Decision support (e.g., MIS), ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.1: Control theory, and Search/I.2.8.2: Dynamic programming, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development/I.6.5.0: Modeling methodologies, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [SDV.BA.MVSA]Life Sciences [q-bio]/Animal biology/Veterinary medicine and animal Health
Relation: info:eu-repo/semantics/altIdentifier/pmid/29897988; PRODINRA: 443608; PUBMED: 29897988; WOS: 000435090700023
-
19
Authors:
Contributors:
Source: https://hal.archives-ouvertes.fr/hal-01237058 ; 2014.
Subject Terms: Problem solving, heuristics, abstraction, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.4: Heuristic methods, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.0: General/I.2.0.0: Cognitive simulation, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [SCCO.COMP]Cognitive science/Computer science
Relation: hal-01237058; https://hal.archives-ouvertes.fr/hal-01237058; https://hal.archives-ouvertes.fr/hal-01237058/document; https://hal.archives-ouvertes.fr/hal-01237058/file/ges-hierarchies.pdf
-
20
Authors: et al.
Contributors: et al.
Source: ACM Computers in Entertainment ; https://hal.science/hal-01380163 ; ACM Computers in Entertainment, 2017, ⟨10.1145/3022635⟩
Subject Terms: Planning under uncertainty, Symbolic and algebraic algorithms, Motif discovery, Heuristic function construction, Markov processes, Combinatorics on words, Music retrieval, Performing arts, Sound and music computing, modeling and modularity, Abstraction, Real-time system architecture, Intelligent agents, Modeling methodologies, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.5: Sound and Music Computing/H.5.5.1: Modeling, HCI)/H.5.5: Sound and Music Computing/H.5.5.2: Signal analysis, synthesis, and processing, HCI)/H.5.5: Sound and Music Computing/H.5.5.3: Systems, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.4: Heuristic methods, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.3: Pattern matching, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.1: Models/I.5.1.5: Structural, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.4: Applications/I.5.4.1: Signal processing, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence/I.2.11.1: Intelligent agents, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Availability: https://hal.science/hal-01380163
https://hal.science/hal-01380163v1/document
https://hal.science/hal-01380163v1/file/ACM-CiE_ImproteK_Nika-et-al_2017.pdf
https://doi.org/10.1145/3022635
Nájsť tento článok vo Web of Science 
Full Text Finder