Suchergebnisse - Computing methodologies Machine learning Machine learning approaches Markov decision processes
-
1
A Machine Learning Approach for offload Decision Making in Mobile Cloud Computing
ISBN: 9781665405201, 1665405201ISSN: 2575-7288Veröffentlicht: IEEE 19.03.2021Veröffentlicht in International Conference on Advanced Computing and Communication Systems (Online) (19.03.2021)“… A technique has been proposed by performing a stack ensemble approach on machine learning techniques like the Gaussian approach, multi-layer perceptron, k-nearest neighbors, and linear regression …”
Volltext
Tagungsbericht -
2
Decision Support Platform for Production of Chili using IoT, Cloud Computing, and Machine Learning Approach
ISSN: 2377-2697Veröffentlicht: IEEE 17.04.2022Veröffentlicht in IEEE International Conference on Emerging & Sustainable Technologies for Power & ICT in a Developing Society (Print) (17.04.2022)“… It is a major source of income for both small- and large-scale farmers. Unfortunately, chili farmers have to contend with the challenge of pests and diseases and the need for timely decisions to have a bountiful production …”
Volltext
Tagungsbericht -
3
Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional Fairness of Machine Learning Software
ISSN: 1558-1225Veröffentlicht: IEEE 26.04.2025Veröffentlicht in Proceedings / International Conference on Software Engineering (26.04.2025)“… Intersectional fairness is a critical requirement for Machine Learning (ML) software, demanding fairness across subgroups defined by multiple protected attributes …”
Volltext
Tagungsbericht -
4
PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning
Veröffentlicht: IEEE 01.09.2021Veröffentlicht in 2021 30th International Conference on Parallel Architectures and Compilation Techniques (PACT) (01.09.2021)“… In this paper, we propose a shape-agnostic formulation for the space of legal transformations in the polyhedral model as a Markov Decision Process (MDP …”
Volltext
Tagungsbericht -
5
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
Veröffentlicht: IEEE 29.06.2021Veröffentlicht in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“… We develop a theory of vector spaces spanned by orbit-finite sets. Using this theory, we give a decision procedure for equivalence of weighted register automata …”
Volltext
Tagungsbericht -
6
Learning Pareto-Frontier Resource Management Policies for Heterogeneous SoCs: An Information-Theoretic Approach
Veröffentlicht: IEEE 05.12.2021Veröffentlicht in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“… Mobile system-on-chips (SoCs) are growing in their complexity and heterogeneity (e.g., Arm's Big-Little architecture) to meet the needs of emerging …”
Volltext
Tagungsbericht -
7
Improving Robot Controller Transparency Through Autonomous Policy Explanation
ISBN: 9781450343367, 1450343368ISSN: 2167-2148Veröffentlicht: New York, NY, USA ACM 06.03.2017Veröffentlicht in 2017 12th ACM/IEEE International Conference on Human-Robot Interaction (HRI (06.03.2017)“… Shared expectations and mutual understanding are critical facets of teamwork. Achieving these in human-robot collaborative contexts can be especially …”
Volltext
Tagungsbericht -
8
Continuous One-Counter Automata
Veröffentlicht: IEEE 29.06.2021Veröffentlicht in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“… We study the reachability problem for continuous one-counter automata, COCA for short. In such automata, transitions are guarded by upper and lower bound tests …”
Volltext
Tagungsbericht -
9
Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving
ISBN: 1450357393, 9781450357395Veröffentlicht: New York, NY, USA ACM 28.05.2018Veröffentlicht in 2018 IEEE ACM 1st International Workshop on Software Engineering for AI in Autonomous Systems (SEFAIAS) (28.05.2018)“… We propose a series of methods based on learning key structural properties from traffic data-basis and on statistical model checking, ultimately leading to the construction of a scenario catalogue …”
Volltext
Tagungsbericht -
10
DiffSAT: Differential MaxSAT Layer for SAT Solving
ISSN: 1558-2434Veröffentlicht: ACM 27.10.2024Veröffentlicht in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (27.10.2024)“… To address this issue, numerous learning-driven methods have been proposed. However, these methods primarily focus on utilizing data-driven approaches to enhance …”
Volltext
Tagungsbericht -
11
Navigational Instruction Generation as Inverse Reinforcement Learning with Neural Machine Translation
ISBN: 9781450343367, 1450343368ISSN: 2167-2148Veröffentlicht: New York, NY, USA ACM 06.03.2017Veröffentlicht in 2017 12th ACM/IEEE International Conference on Human-Robot Interaction (HRI (06.03.2017)“… Modern robotics applications that involve human-robot interaction require robots to be able to communicate with humans seamlessly and effectively. Natural …”
Volltext
Tagungsbericht -
12
LICS: Logic in Computer Security -- Some Attacker's Models and Related Decision Problems
ISBN: 1479904139, 9781479904136ISSN: 1043-6871Veröffentlicht: IEEE 01.06.2013Veröffentlicht in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (01.06.2013)“… Logic plays an important role in formal aspects of computer security, for instance in access control, security of communications or even intrusion detection …”
Volltext
Tagungsbericht -
13
Distributed regression: an efficient framework for modeling sensor network data
ISBN: 1581138466, 9781581138467Veröffentlicht: New York, NY, USA ACM 26.04.2004Veröffentlicht in IPSN 2004 : Third International Symposium on Information Processing in Sensor Networks, April 26-27, 2004, Berkeley, California, USA (26.04.2004)“… We present distributed regression, an efficient and general framework for in-network modeling of sensor data. In this framework, the nodes of the sensor …”
Volltext
Tagungsbericht -
14
Specification Test Compaction for Analog Circuits and MEMS
ISBN: 9780769522883, 0769522882ISSN: 1530-1591Veröffentlicht: Washington, DC, USA IEEE Computer Society 07.03.2005Veröffentlicht in Design, Automation and Test in Europe (07.03.2005)“… required.We propose to eliminate redundant tests by employing ε-SVM based statistical learning.Application of the proposed methodology to an operational amplifier …”
Volltext
Tagungsbericht -
15
Pueblo: A Modern Pseudo-Boolean SAT Solver
ISBN: 9780769522883, 0769522882ISSN: 1530-1591Veröffentlicht: Washington, DC, USA IEEE Computer Society 07.03.2005Veröffentlicht in Design, Automation and Test in Europe (07.03.2005)“… Its novel features include an efficient PB literal watching strategy and several PB learning methods that take advantage of the pruning power of PB constraints …”
Volltext
Tagungsbericht -
16
DistHD: A Learner-Aware Dynamic Encoding Method for Hyperdimensional Classification
Veröffentlicht: IEEE 09.07.2023Veröffentlicht in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“… Many applications exploit machine learning methodology to dissect collected data, and edge computing was introduced to enhance the efficiency and scalability in resource-constrained computing environments …”
Volltext
Tagungsbericht -
17
Can Wear-Aware Memory Allocation be Intelligent?
Veröffentlicht: ACM 16.11.2020Veröffentlicht in Proceedings of the 2020 ACM/IEEE Workshop on Machine Learning for CAD (16.11.2020)“… Therefore, we investigate the employment of a reinforcement learning agent as a substitute for such a strategy in this paper …”
Volltext
Tagungsbericht -
18
DARL: Distributed Reconfigurable Accelerator for Hyperdimensional Reinforcement Learning
ISSN: 1558-2434Veröffentlicht: ACM 29.10.2022Veröffentlicht in 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (29.10.2022)“… Reinforcement Learning (RL) is a powerful technology to solve decision-making problems such as robotics control …”
Volltext
Tagungsbericht -
19
Considering Circuit Observability Don't Cares in CNF Satisfiability
ISBN: 9780769522883, 0769522882ISSN: 1530-1591Veröffentlicht: Washington, DC, USA IEEE Computer Society 07.03.2005Veröffentlicht in Design, Automation and Test in Europe (07.03.2005)“… However, this process loses some information regarding the structure of the circuit. One example of such structural information is the Circuit …”
Volltext
Tagungsbericht -
20
A3C-S: Automated Agent Accelerator Co-Search towards Efficient Deep Reinforcement Learning
Veröffentlicht: IEEE 05.12.2021Veröffentlicht in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“… Driven by the explosive interest in applying deep reinforcement learning (DRL) agents to numerous real-time control and decision-making applications …”
Volltext
Tagungsbericht

