Výsledky vyhledávání - 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-7288Vydáno: IEEE 19.03.2021Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
2
Decision Support Platform for Production of Chili using IoT, Cloud Computing, and Machine Learning Approach
ISSN: 2377-2697Vydáno: IEEE 17.04.2022Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
3
Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional Fairness of Machine Learning Software
ISSN: 1558-1225Vydáno: IEEE 26.04.2025Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
4
PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning
Vydáno: IEEE 01.09.2021Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
5
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
Vydáno: IEEE 29.06.2021Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
6
Learning Pareto-Frontier Resource Management Policies for Heterogeneous SoCs: An Information-Theoretic Approach
Vydáno: IEEE 05.12.2021Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
7
Improving Robot Controller Transparency Through Autonomous Policy Explanation
ISBN: 9781450343367, 1450343368ISSN: 2167-2148Vydáno: New York, NY, USA ACM 06.03.2017Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
8
Continuous One-Counter Automata
Vydáno: IEEE 29.06.2021Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
9
Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving
ISBN: 1450357393, 9781450357395Vydáno: New York, NY, USA ACM 28.05.2018Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
10
DiffSAT: Differential MaxSAT Layer for SAT Solving
ISSN: 1558-2434Vydáno: ACM 27.10.2024Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
11
Navigational Instruction Generation as Inverse Reinforcement Learning with Neural Machine Translation
ISBN: 9781450343367, 1450343368ISSN: 2167-2148Vydáno: New York, NY, USA ACM 06.03.2017Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
12
LICS: Logic in Computer Security -- Some Attacker's Models and Related Decision Problems
ISBN: 1479904139, 9781479904136ISSN: 1043-6871Vydáno: IEEE 01.06.2013Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
13
Distributed regression: an efficient framework for modeling sensor network data
ISBN: 1581138466, 9781581138467Vydáno: New York, NY, USA ACM 26.04.2004Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
14
Specification Test Compaction for Analog Circuits and MEMS
ISBN: 9780769522883, 0769522882ISSN: 1530-1591Vydáno: Washington, DC, USA IEEE Computer Society 07.03.2005Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
15
Pueblo: A Modern Pseudo-Boolean SAT Solver
ISBN: 9780769522883, 0769522882ISSN: 1530-1591Vydáno: Washington, DC, USA IEEE Computer Society 07.03.2005Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
16
DistHD: A Learner-Aware Dynamic Encoding Method for Hyperdimensional Classification
Vydáno: IEEE 09.07.2023Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
17
Can Wear-Aware Memory Allocation be Intelligent?
Vydáno: ACM 16.11.2020Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
18
DARL: Distributed Reconfigurable Accelerator for Hyperdimensional Reinforcement Learning
ISSN: 1558-2434Vydáno: ACM 29.10.2022Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
19
Considering Circuit Observability Don't Cares in CNF Satisfiability
ISBN: 9780769522883, 0769522882ISSN: 1530-1591Vydáno: Washington, DC, USA IEEE Computer Society 07.03.2005Vydáno v 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…”
Získat plný text
Konferenční příspěvek -
20
A3C-S: Automated Agent Accelerator Co-Search towards Efficient Deep Reinforcement Learning
Vydáno: IEEE 05.12.2021Vydáno v 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…”
Získat plný text
Konferenční příspěvek

