Výsledky vyhledávání - "Mathematics of computing Probability and statistics Stochastic process Markov process"
-
1
Stochastic Processes with Expected Stopping Time
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs) extend Markov chains by incorporating…”
Získat plný text
Konferenční příspěvek -
2
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)“…The polyhedral model allows a structured way of defining semantics-preserving transformations to improve the performance of a large class of loops. Finding…”
Získat plný text
Konferenční příspěvek -
3
Reliability of Run-Time Quality-of-Service Evaluation Using Parametric Model Checking
ISSN: 1558-1225Vydáno: ACM 01.05.2016Vydáno v Proceedings / International Conference on Software Engineering (01.05.2016)“…Run-time Quality-of-Service (QoS) assurance is crucial for business-critical systems. Complex behavioral performance metrics (PMs) are useful but often…”
Získat plný text
Konferenční příspěvek -
4
Using quantitative analysis to implement autonomic IT systems
ISBN: 9781424434534, 142443453XISSN: 0270-5257Vydáno: Washington, DC, USA IEEE Computer Society 16.05.2009Vydáno v 2009 IEEE 31st International Conference on Software Engineering (16.05.2009)“…The software underpinning today's IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We…”
Získat plný text
Konferenční příspěvek -
5
Hardware Acceleration of Hidden Markov Model Decoding for Person Detection
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)“…This paper explores methods for hardware acceleration of Hidden Markov Model (HMM) decoding for the detection of persons in still images. Our architecture…”
Získat plný text
Konferenční příspěvek -
6
Optimal Power Management for Server Farm to Support Green Computing
ISBN: 1424439353, 9781424439355Vydáno: IEEE 01.05.2009Vydáno v 2009 9th IEEE International Symposium on Cluster Computing and the Grid (01.05.2009)“…Green computing is a new paradigm of designing the computer system which considers not only the processing performance but also the energy efficiency. Power…”
Získat plný text
Konferenční příspěvek -
7
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing
Vydáno: ACM 01.10.2014Vydáno v 2014 proceedings of the International Conference on Embedded Software (EMSOFT) : October 12-17, 2014, Jaypee Greens Golf and Spa Resort, New Delhi, India (01.10.2014)“…We address the problem of synthesizing control strategies for Ellipsoidal Markov Decision Processes (EMDP), i.e., MDPs whose transition probabilities are…”
Získat plný text
Konferenční příspěvek -
8
Evolutionary Optimization of Markov Sources for Pseudo Random Scan BIST
ISBN: 0769518702, 9780769518701ISSN: 1530-1591Vydáno: Washington, DC, USA IEEE Computer Society 03.03.2003Vydáno v Design, Automation, and Test in Europe: Proceedings of the conference on Design, Automation and Test in Europe - Volume 1; 03-07 Mar. 2003 (03.03.2003)Získat plný text
Konferenční příspěvek -
9
Calculating Architectural Reliability via Modeling and Analysis
ISBN: 9780769521633, 0769521630ISSN: 0270-5257Vydáno: Washington, DC, USA IEEE Computer Society 23.05.2004Vydáno v International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 (23.05.2004)“…We present a software architecture-based approach tocompositional estimation of systemýs reliability. Ourapproach is applicable to early stages of…”
Získat plný text
Konferenční příspěvek -
10
On the Analysis of Reed Solomon Coding for Resilience to Transient/Permanent Faults in Highly Reliable Memories
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)“…Single Event Upsets (SEU) as well as permanent faults can significantly affect the correct on-line operation of digital systems, such as memories and…”
Získat plný text
Konferenční příspěvek -
11
Buffer Insertion for Bridges and Optimal Buffer Sizing for Communication Sub-System of Systems-on-Chip
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)“…We have presented an optimal buffer sizing and buffer insertion methodology which uses stochastic models of the architecture and Continuous Time Markov…”
Získat plný text
Konferenční příspěvek -
12
Efficient state classification of finite state Markov chains
ISBN: 0897919645, 9780897919647Vydáno: New York, NY, USA ACM 01.01.1998Vydáno v DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference (01.01.1998)“…This paper presents an efficient method for state classification of finite state Markov chains using BDD-based symbolic techniques. The method exploits the…”
Získat plný text
Konferenční příspěvek -
13
A Novel Way of Computing Similarities between Nodes of a Graph, with Application to Collaborative Recommendation
ISBN: 076952415X, 9780769524153Vydáno: Washington, DC, USA IEEE Computer Society 19.09.2005Vydáno v IEEE/WIC/ACM International Conference on web intelligence (19.09.2005)“…This work presents a new perspective on characterizing the similarity between elements of a database or, more generally, nodes of a weighted, undirected,…”
Získat plný text
Konferenční příspěvek -
14
Decentralized Markov Decision Processes with Event-Driven Interactions
ISBN: 9781581138641, 1581138644Vydáno: Washington, DC, USA IEEE Computer Society 19.07.2004Vydáno v Autonomous Agents and Multiagent Systems: Proceedings, 3rd International Joint Conference, New York City, New York, 2004. (19.07.2004)“…Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in…”
Získat plný text
Konferenční příspěvek -
15
Efficient and robust query processing in dynamic environments using random walk techniques
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)“…Many existing systems for sensor networks rely on state information stored in the nodes for proper operation (e.g., pointers to parent in a spanning tree,…”
Získat plný text
Konferenční příspěvek -
16
Communication for Improving Policy Computation in Distributed POMDPs
ISBN: 9781581138641, 1581138644Vydáno: Washington, DC, USA IEEE Computer Society 19.07.2004Vydáno v Autonomous Agents and Multiagent Systems: Proceedings, 3rd International Joint Conference, New York City, New York, 2004. (19.07.2004)“…Distributed Partially Observable Markov Decision Problems (POMDPs) are emerging as a popular approach for modeling multiagent teamwork where a group of agents…”
Získat plný text
Konferenční příspěvek -
17
Social Model Shaping for Solving Generic DEC-POMDPs
ISBN: 9781457713736, 145771373XVydáno: IEEE 01.08.2011Vydáno v 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology (01.08.2011)“…Decentralized Partially Observable Markov Decision Problem, DEC-POMDP is a popular model to representmulti-agent decision making under uncertainty. However,…”
Získat plný text
Konferenční příspěvek -
18
Battery-aware power management based on Markovian decision processes
ISBN: 0780376072, 9780780376076ISSN: 1092-3152Vydáno: New York, NY, USA ACM 10.11.2002Vydáno v Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (10.11.2002)“…This paper is concerned with the problem of maximizing capacity utilization of the battery power source in a portable electronic system under latency and loss…”
Získat plný text
Konferenční příspěvek -
19
Markov Model Based Disk Power Management for Data Intensive Workloads
ISBN: 1424439353, 9781424439355Vydáno: IEEE 01.05.2009Vydáno v 2009 9th IEEE International Symposium on Cluster Computing and the Grid (01.05.2009)“…In order to meet the increasing demands of present and upcoming data-intensive computer applications, there has been a major shift in the disk subsystem, which…”
Získat plný text
Konferenční příspěvek -
20
Rank Aggregation Based Text Feature Selection
ISBN: 0769538010, 9780769538013Vydáno: Washington, DC, USA IEEE Computer Society 15.09.2009Vydáno v Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01 (15.09.2009)“…Filtering feature selection method (filtering method, for short) is a well-known feature selection strategy in pattern recognition and data mining. Filtering…”
Získat plný text
Konferenční příspěvek

