Search Results - "Computing methodologies Machine learning Machine learning approaches Markov decision processes"

Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional Fairness of Machine Learning Software by Chen, Zhenpeng, Li, Xinyue, Zhang, Jie M., Sarro, Federica, Liu, Yang

“…Intersectional fairness is a critical requirement for Machine Learning (ML) software, demanding fairness across subgroups defined by multiple protected…”
Get full text

Learning Pareto-Frontier Resource Management Policies for Heterogeneous SoCs: An Information-Theoretic Approach by Deshwal, Aryan, Belakaria, Syrine, Bhat, Ganapati, Doppa, Janardhan Rao, Pande, Partha Pratim

“…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…”
Get full text

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata by Bojanczyk, Mikolaj, Klin, Bartek, Moerman, Joshua

“…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…”
Get full text

Improving Robot Controller Transparency Through Autonomous Policy Explanation by Hayes, Bradley, Shah, Julie A.

“…Shared expectations and mutual understanding are critical facets of teamwork. Achieving these in human-robot collaborative contexts can be especially…”
Get full text

PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning by Brauckmann, Alexander, Goens, Andres, Castrillon, Jeronimo

“…The polyhedral model allows a structured way of defining semantics-preserving transformations to improve the performance of a large class of loops. Finding…”
Get full text

Continuous One-Counter Automata by Blondin, Michael, Leys, Tim, Mazowiecki, Filip, Offtermatt, Philip, Perez, Guillermo A.

“…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…”
Get full text

DiffSAT: Differential MaxSAT Layer for SAT Solving by Zhang, Yu, Zhen, Hui-Ling, Yuan, Mingxuan, Yu, Bei

“…Modern boolean satisfiability (SAT) solvers heavily rely on the conflict-driven clause learning (CDCL) framework to efficiently search the solution space and…”
Get full text

LICS: Logic in Computer Security -- Some Attacker's Models and Related Decision Problems by Comon-Lundh, Hubert

“…Logic plays an important role in formal aspects of computer security, for instance in access control, security of communications or even intrusion detection…”
Get full text

Navigational Instruction Generation as Inverse Reinforcement Learning with Neural Machine Translation by Daniele, Andrea F., Bansal, Mohit, Walter, Matthew R.

“…Modern robotics applications that involve human-robot interaction require robots to be able to communicate with humans seamlessly and effectively. Natural…”
Get full text

Can Wear-Aware Memory Allocation be Intelligent? by Hakert, Christian, Chen, Kuan-Hsun, Chen, Jian-Jia

“…Many non-volatile memories (NVM) suffer from a severe reduced cell endurance and therefore require wear-leveling. Heap memory, as one segment, which…”
Get full text

Specification Test Compaction for Analog Circuits and MEMS by Biswas, Sounil, Li, Peng, Blanton, R. D. (Shawn), Pileggi, Larry T.

“…Testing a non-digital integrated system against all of its specifications can be quite expensive due to the elaborate test application and measurement setup…”
Get full text

Pueblo: A Modern Pseudo-Boolean SAT Solver by Sheini, Hossein M., Sakallah, Karem A.

“…This paper introduces a new SAT solver that integrates logic-based reasoning and integer programming methods to systems of CNF and PB constraints. Its novel…”
Get full text

Considering Circuit Observability Don't Cares in CNF Satisfiability by Fu, Zhaohui, Yu, Yinlei, Malik, Sharad

“…Boolean Satisfiability (SAT) has seen significant use in various tasks in circuit verification in recent years. A key contributor to the efficiency of…”
Get full text

Distributed regression: an efficient framework for modeling sensor network data by Guestrin, Carlos, Bodik, Peter, Thibaux, Romain, Paskin, Mark, Madden, Samuel

“…We present distributed regression, an efficient and general framework for in-network modeling of sensor data. In this framework, the nodes of the sensor…”
Get full text

Energy efficient navigation management for hybrid electric vehicles on highways by Rahman, Mohammad Ashiqur, Duan, Qi, Al-Shaer, Ehab

“…Plug-in Hybrid Electric Vehicles (PHEVs) are gaining popularity due to their economical efficiency as well as their contribution to environmental preservation…”
Get full text

Integration of Learning Techniques into Incremental Satisfiability for Efficient Path-Delay Fault Test Generation by Chandrasekar, Kameshwar, Hsiao, Michael S.

“…In recent years, several Electronic Design Automation (EDA) problems in testing and verification have been formulated as Boolean Satisfiability (SAT) instances…”
Get full text

Efficient Conflict-Based Learning in an RTL Circuit Constraint Solver by Iyer, M. K., Parthasarathy, G., Cheng, K.-T.

“…We present new techniques for improving search in a hybrid Davis-Putnam-Logemann-Loveland based constraint solver for RTL circuits (HDPLL). In earlier work on…”
Get full text

Q-DPM: An Efficient Model-Free Dynamic Power Management Technique by Li, Min, Wu, Xiaobo, Yao, Richard, Yan, Xiaolang

“…When applying Dynamic Power Management (DPM) technique to pervasively deployed embedded systems, the technique needs to be very efficient so that it is…”
Get full text

Online learning of exploratory behavior through human-robot interaction by Gouko, Manabu, Kobayashi, Yuichi, Kim, Chyon Hae

“…Currently, many studies have been conducted on robot interactions with humans. Object recognition and feature extraction are essential functions for such…”
Get full text

Efficient model learning for dialog management by Doshi, Finale, Roy, Nicholas

“…Intelligent planning algorithms such as the Partially Observable Markov Decision Process (POMDP) have succeeded in dialog management applications [10, 11, 12]…”
Get full text