Search results for "decision problem"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Candra Meirina, Yuri N. Levchuk, Georgiy M. Levchuk, Krishna R. Pattipati	A Markov Decision Problem Approach to Goal Attainment.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
2	Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers	The Committee Decision Problem.	LATIN	2006	DBLP DOI BibTeX RDF
2	Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard	The Confluence Problem for Flat TRSs.	AISC	2006	DBLP DOI BibTeX RDF	Flat, Term rewriting system, Confluence, Decision problem
2	Wieslaw Szwast, Lidia Tendera	On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.	LPAR	2005	DBLP DOI BibTeX RDF	computational complexity, transitivity, decision problem, guarded fragment, finite model
2	Werner Schindler	On the Optimization of Side-Channel Attacks by Advanced Stochastic Methods.	Public Key Cryptography	2005	DBLP DOI BibTeX RDF	Montgomerys multiplication algo-rithm, statistical decision problem, optimal decision strategy, Side-channel attack, stochastic process
2	S. J. Gismondi, E. R. Swart	A model of the coNP-complete non-Hamilton tour decision problem for directed graphs.	Math. Program.	2004	DBLP DOI BibTeX RDF	Extended formulation, Assignment polytope, coNP, Projection, Hamiltonicity
2	Vitezslav Svejdar	The decision problem of provability logic with only one atom.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Provability logic, Propositional atoms, Non-classical logics, Kripke models, Polynomial-space
2	Werner Schindler, Colin D. Walter	More Detail for a Combined Timing and Power Attack against Implementations of RSA.	IMA Int. Conf.	2003	DBLP DOI BibTeX RDF	statistical decision problem, power analysis, exponentiation, timing attack, RSA cryptosystem, side channel leakage, Montgomery modular multiplication
2	Silvio Giove	Interval TOPSIS for Multicriteria Decision Making.	WIRN	2002	DBLP DOI BibTeX RDF	multi criteria decision problem, Interval analysis
2	Marcelo J. Weinberger, Erik Ordentlich	On-Line Decision Making for a Class of Loss Functions via Lempel-Ziv Parsing.	Data Compression Conference	2000	DBLP DOI BibTeX RDF	Lempel-Ziv, sequential decision problem, prediction, prefetching, on-line algorithms, incremental parsing
2	Yukikazu Nakamoto, Yoshihiro Tsujino, Nobuki Tokura	Real-time task scheduling algorithms for maximum utilization of secondary batteries in portable devices.	RTCSA	2000	DBLP DOI BibTeX RDF	secondary cells, power generation scheduling, power engineering computing, real time task scheduling algorithms, maximum utilization, secondary batteries, low power energy techniques, dynamic real time scheduling algorithms, secondary battery consumption, CPU frequency, real time scheduling algorithm, discrete frequency control, arbitrary frequency, real-time systems, computational complexity, computational complexity, NP-complete, portable devices, decision problem, portable computers, scheduling problem, task switching, real time tasks, amortized analysis, optimal scheduling algorithm, frequency control, frequency control
2	Carlo Toffalori	The decision problem for [(Z)\vec]C(p3){\vec Z}C(p^3)-lattices with pp prime.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991):03C60, 03B25
2	Ron Shamir, Dekel Tsur	Faster subtree isomorphism. (PDF / PS)	ISTCS	1997	DBLP DOI BibTeX RDF	subtree isomorphism problem, graph theory, randomized algorithm, trees, trees (mathematics), computation time, vertices, decision problem
2	Ilkka Niemelä	On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic.	CSL	1988	DBLP DOI BibTeX RDF
2	Robert A. Di Paola	The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results.	J. ACM	1973	DBLP DOI BibTeX RDF
2	Robert A. Di Paola	The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.	J. ACM	1969	DBLP DOI BibTeX RDF
1	Eric V. Denardo, Eugene A. Feinberg, Uriel G. Rothblum	Splitting in a finite Markov decision problem.	SIGMETRICS Performance Evaluation Review	2012	DBLP DOI BibTeX RDF
1	Gerrit K. Janssens, Katrien Ramaekers	A linear programming formulation for an inventory management decision problem with a service constraint.	Expert Syst. Appl.	2011	DBLP DOI BibTeX RDF
1	S. Kamal Chaharsooghi, Mahboobeh Honarvar, M. Modarres, Isa Nakhai Kamalabadi	Developing a two stage stochastic programming model of the price and lead-time decision problem in the multi-class make-to-order firm.	Computers & Industrial Engineering	2011	DBLP DOI BibTeX RDF
1	David V. Pynadath, Milind Tambe	The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models	CoRR	2011	DBLP BibTeX RDF
1	Vinay V. Panicker, R. Sridharan	Modelling supply chain decision problem with fixed charge - a review.	IJBPSCM	2011	DBLP DOI BibTeX RDF
1	Suzana de Franca Dantas Daher, Adiel Teixeira de Almeida	A combination of ranking veto concept and distance measures to minimize conflicts in a group decision problem.	SMC	2011	DBLP DOI BibTeX RDF
1	Nureize Arbaiy, Junzo Watada	Multi-level multi-objective decision problem through fuzzy random regression based objective function.	FUZZ-IEEE	2011	DBLP DOI BibTeX RDF
1	Shantanu Biswas	Optimal Combinatorial Auction for Initial Commitment Decision Problem in Virtual Organizations.	CEC	2011	DBLP DOI BibTeX RDF
1	Sean Summers, John Lygeros	Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem.	Automatica	2010	DBLP DOI BibTeX RDF
1	Charles Sauerbier	Computing a Frobenius Coin Problem decision problem in O(n^2)	CoRR	2010	DBLP BibTeX RDF
1	Maciej Liskiewicz, Johannes Textor	Negative selection algorithms without generating detectors.	GECCO	2010	DBLP DOI BibTeX RDF	consistent learning, artificial immune systems, negative selection
1	Tsung-Wei Huang, Tsung-Yi Ho	A two-stage ILP-based droplet routing algorithm for pin-constrained digital microfluidic biochips.	ISPD	2010	DBLP DOI BibTeX RDF	routing, ilp, microfluidic, biochip
1	Gianluigi Greco, Francesco Scarcello	The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability.	PODS	2010	DBLP DOI BibTeX RDF	structural decomposition methods, tree projections, local consistency
1	Scott Aaronson	BQP and the polynomial hierarchy.	STOC	2010	DBLP DOI BibTeX RDF	linial-nisan conjecture, quantum complexity classes, fourier analysis, constant-depth circuits
1	Jason Bell, Emilie Charlier, Aviezri S. Fraenkel, Michel Rigo	A Decision Problem for Ultimately Periodic Sets in Nonstandard Numeration Systems.	IJAC	2009	DBLP DOI BibTeX RDF
1	Jason Bell, Emilie Charlier, Aviezri S. Fraenkel, Michel Rigo	A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems	CoRR	2009	DBLP BibTeX RDF
1	Hamilton Emmons, Sanatan Rai	Computational Complexity Theory.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Recognition problem, Time complexity function, Nondeterministic polynomial algorithm, Computational complexity, Combinatorial optimization, Reducibility, NP-complete problem, Efficient algorithm, Complexity theory, NP-hard problem, Polynomial algorithm, Decision problem, Exponential algorithm
1	Stephen A. Vavasis	Complexity Theory.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Information-based complexity, Real number model, Complexity, NP-complete, NP-hard, Polynomial time, Turing machine, Decision problem
1	Nathan Schurr, Janusz Marecki, Milind Tambe	Improving adjustable autonomy strategies for time-critical domains.	AAMAS	2009	DBLP DOI BibTeX RDF
1	Shelley Zhang, Ping Xuan, Bhumit Patel	Managing operations in multiagent virtual organizations.	AAMAS	2009	DBLP DOI BibTeX RDF	experimental/empirical (architectures/systems/simulations/data analysis), social/organizational structure, distributed systems, artificial intelligence, economics
1	Marc Pouzet, Pascal Raymond	Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders
1	Foto N. Afrati, Phokion G. Kolaitis	Repair checking in inconsistent databases: algorithms and complexity.	ICDT	2009	DBLP DOI BibTeX RDF	coNP-complete problem, equality-generating dependencies, repair checking, tuple-generating dependencies, weakly acyclic set, polynomial time, consistent query answering, inconsistent databases, database repairs
1	Jia Yuan Yu, Shie Mannor	Piecewise-stationary bandit problems with side observations.	ICML	2009	DBLP DOI BibTeX RDF
1	Vibhor Bhatt, Nicholas Christman, Prasad Jayanti	Extracting quorum failure detectors.	PODC	2009	DBLP DOI BibTeX RDF	fault tolerance, mutual exclusion, asynchronous system, failure detector
1	Ya Gao, Guangquan Zhang, Jie Lu	A particle swarm optimization based algorithm for fuzzy bilevel decision making with constraints-shared followers.	SAC	2009	DBLP DOI BibTeX RDF	bilevel multiple follower programming, particle swarm optimization, fuzzy sets
1	Fedor V. Fomin, Petr A. Golovach, Daniel Lokshtanov, Saket Saurabh	Clique-width: on the price of generality.	SODA	2009	DBLP DOI BibTeX RDF
1	Mohammad Alrifai, Thomas Risse	Combining global optimization with local selection for efficient QoS-aware service composition.	WWW	2009	DBLP DOI BibTeX RDF	QoS, web services, optimization, service composition
1	Kousha Etessami, Mihalis Yannakakis	Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations.	J. ACM	2009	DBLP DOI BibTeX RDF	Recursive Markov chains, monotone nonlinear systems, multi-type branching processes, Newton's method, stochastic context-free grammars
1	Kshanti A. Greene, Joe Michael Kniss, George F. Luger, Carl R. Stern	Satisficing the Masses: Applying Game Theory to Large-Scale, Democratic Decision Problems.	CSE	2009	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Franjo Ivancic	Efficient decision procedure for non-linear arithmetic constraints using CORDIC.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Metin Kaplan, Feza Buzluca	A dynamic spectrum decision scheme for heterogeneous cognitive radio networks.	ISCIS	2009	DBLP DOI BibTeX RDF
1	C.-H. Luke Ong, Nikos Tzevelekos	Functional Reachability.	LICS	2009	DBLP DOI BibTeX RDF
1	George H. L. Fletcher, Marc Gyssens, Jan Paredaens, Dirk Van Gucht	On the Expressive Power of the Relational Algebra on Finite Sets of Relation Pairs.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
1	David Ben-Arieh, Todd Easton, B. Evans	Minimum Cost Consensus With Quadratic Cost Functions.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2009	DBLP DOI BibTeX RDF
1	Vincent K. N. Lau, Yan Chen	Delay-optimal power and precoder adaptation for multi-stream MIMO systems.	IEEE Transactions on Wireless Communications	2009	DBLP DOI BibTeX RDF
1	Thierry P. Berger, Pierre-Louis Cayrel, Philippe Gaborit, Ayoub Otmani	Reducing Key Length of the McEliece Cryptosystem.	AFRICACRYPT	2009	DBLP DOI BibTeX RDF	Alternant code, quasi-cyclic, public-key cryptography, McEliece cryptosystem
1	Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud	Extending Argumentation to Make Good Decisions.	ADT	2009	DBLP DOI BibTeX RDF
1	Gaia Nicosia, Andrea Pacifici, Ulrich Pferschy	Subset Weight Maximization with Two Competing Agents.	ADT	2009	DBLP DOI BibTeX RDF	multi-agent optimization, games
1	T. S. Jayram	Hellinger Strikes Back: A Note on the Multi-party Information Complexity of AND.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF
1	Jan Richter, Ryszard Kowalczyk, Matthias Klusch	Multistage Fuzzy Decision Making in Bilateral Negotiation with Finite Termination Times.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF	agents, constraints, negotiation, fuzzy, decision, multistage
1	Helmut Alt	The Computational Geometry of Comparing Shapes.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF	computational geometry, computability, shapes, distance measures
1	Shuvendu K. Lahiri, Shaz Qadeer	Complexity and Algorithms for Monomial and Clausal Predicate Abstraction.	CADE	2009	DBLP DOI BibTeX RDF
1	David Monniaux	On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure.	CAV	2009	DBLP DOI BibTeX RDF
1	Tsz Hon Yuen, Qiong Huang, Yi Mu, Willy Susilo, Duncan S. Wong, Guomin Yang	Efficient Non-interactive Range Proof.	COCOON	2009	DBLP DOI BibTeX RDF
1	Pim van 't Hof, Daniël Paulusma, Johan M. M. van Rooij	Computing Role Assignments of Chordal Graphs.	FCT	2009	DBLP DOI BibTeX RDF
1	Sadish Sadasivam, Huaming Zhang	NP-Completeness of st-Orientations for Plane Graphs.	FCT	2009	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Eric Ruppert	Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures.	ICALP	2009	DBLP DOI BibTeX RDF
1	Baris Sertkaya	Towards the Complexity of Recognizing Pseudo-intents.	ICCS	2009	DBLP DOI BibTeX RDF
1	Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta	Formal Verification of Security Policy Implementations in Enterprise Networks.	ICISS	2009	DBLP DOI BibTeX RDF	Access control list (ACL), Formal Verification, Network security, Security Policy
1	Nicolas Bourgeois, Federico Della Croce, Bruno Escoffier, Vangelis Th. Paschos	Exact Algorithms for Dominating Clique Problems.	ISAAC	2009	DBLP DOI BibTeX RDF
1	Corrado Loglisci, Michelangelo Ceci, Donato Malerba	A Knowledge-Based Framework for Information Extraction from Clinical Practice Guidelines.	ISMIS	2009	DBLP DOI BibTeX RDF	Information Extraction, Clinical Practices Guidelines, Medical Decision Making
1	Xingxing Wei, Haibin Duan, Yanran Wang	Hybrid Game Theory and D-S Evidence Approach to Multiple UCAVs Cooperative Air Combat Decision.	ISNN	2009	DBLP DOI BibTeX RDF	UCAVs, Mission Decision-making, Game Theory, D-S Evidence Theory
1	Hajo Broersma, Dieter Kratsch, Gerhard J. Woeginger	Fully Decomposable Split Graphs.	IWOCA	2009	DBLP DOI BibTeX RDF	computational complexity, graph decomposition, integer partition
1	Paul A. Ardis, Christopher M. Brown	Using Conditional Random Fields for Decision-Theoretic Planning.	MDAI	2009	DBLP DOI BibTeX RDF	Utility and Decision Theory, Graphical Modeling
1	Md. Raqibul Hasan, M. Sohel Rahman	Computing a Solution for the Subset Sum Problem with a Light Based Device.	OSC	2009	DBLP DOI BibTeX RDF
1	Marko Samer, Helmut Veith	Encoding Treewidth into SAT.	SAT	2009	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Satisfiability Modulo Theories: An Appetizer.	SBMF	2009	DBLP DOI BibTeX RDF
1	Francesca Vocaturo	Optimization via simulation for logistic systems planning and control.	4OR	2009	DBLP DOI BibTeX RDF	MSC classification (2000) 90B06, 68W10, 90C59
1	Gui-Hua Lin, Xiaojun Chen 0001, Masao Fukushima	Solving stochastic mathematical programs with equilibrium constraints via approximation and smoothing implicit programming with penalization.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C30, 90C33, 90C15
1	Michael Huth, Orna Grumberg	Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.	STTT	2009	DBLP DOI BibTeX RDF	Bounded reachability, Bit-vector arithmetic, Abstraction, Asynchronous systems, Decision diagrams, Memory models, Decision problems
1	Ion Petre, Vladimir Rogojin	Decision problem for shuffled genes.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
1	Sumit Kunnumkal, Huseyin Topaloglu	Exploiting the Structural Properties of the Underlying Markov Decision Problem in the Q-Learning Algorithm.	INFORMS Journal on Computing	2008	DBLP DOI BibTeX RDF
1	Emilie Charlier, Michel Rigo	A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems.	MFCS	2008	DBLP DOI BibTeX RDF
1	Andrei Z. Broder, Massimiliano Ciaramita, Marcus Fontoura, Evgeniy Gabrilovich, Vanja Josifovski, Donald Metzler, Vanessa Murdock, Vassilis Plachouras	To swing or not to swing: learning when (not) to advertise.	CIKM	2008	DBLP DOI BibTeX RDF	ad selection, result quality prediction, web advertising
1	David Van Horn, Harry G. Mairson	Deciding kCFA is complete for EXPTIME.	ICFP	2008	DBLP DOI BibTeX RDF	complexity, flow analysis
1	Matthew Cary, Abraham D. Flaxman, Jason D. Hartline, Anna R. Karlin	Auctions for structured procurement.	SODA	2008	DBLP DOI BibTeX RDF
1	Giuseppe Lancia, R. Ravi, Romeo Rizzi	Haplotyping for Disease Association: A Combinatorial Approach.	IEEE/ACM Trans. Comput. Biology Bioinform.	2008	DBLP DOI BibTeX RDF	Biology and genetics, Combinatorics, Discrete Mathematics
1	Jacques Philippe Sauvé	Risk-based service testing.	BDIM	2008	DBLP DOI BibTeX RDF
1	Mehmet Tan, Reda Alhajj, Faruk Polat	Large-scale approximate intervention strategies for Probabilistic Boolean Networks as models of gene regulation.	BIBE	2008	DBLP DOI BibTeX RDF
1	Dimitar Baronov, John Baillieul	Search decisions for teams of automata.	CDC	2008	DBLP DOI BibTeX RDF
1	Kien C. Nguyen, Tansu Alpcan, Tamer Basar	Distributed hypothesis testing with a fusion center: The conditionally dependent case.	CDC	2008	DBLP DOI BibTeX RDF
1	Ufuk Topcu, Giuseppe Carlo Calafiore, Laurent El Ghaoui	Multistage investments with recourse: A single-asset case with transaction costs.	CDC	2008	DBLP DOI BibTeX RDF
1	Wenzhi Zhu, Jingcheng Wang, Hui Cao, Yanbin Zhang	A Novel Association Rule Decision Algorithm Based on Ant Colony Optimization Algorithm for Ball Mill Pulverizing System.	CSSE	2008	DBLP DOI BibTeX RDF
1	Dan Goldwasser, Ofer Strichman, Shai Fine	A Theory-Based Decision Heuristic for DPLL(T).	FMCAD	2008	DBLP DOI BibTeX RDF
1	Jan Christian Lang, Thomas Widjaja, Peter Buxmann, Wolfgang Domschke, Thomas Hess	Optimizing the Supplier Selection and Service Portfolio of a SOA Service Integrator.	HICSS	2008	DBLP DOI BibTeX RDF
1	Paulo Melo, João Paulo Costa	A Prototype System for Exploring Disagreement in Group Decision.	HICSS	2008	DBLP DOI BibTeX RDF
1	Xiaofeng Bai, Abdallah Shami, Serguei Primak	Optimal Power Control over Fading Channel with Cross-Layer Performance Constraint.	ICC	2008	DBLP DOI BibTeX RDF
1	Arsalan Farrokh, Vikram Krishnamurthy, Robert Schober	Optimal Power and Retransmission Control Policies over Fading Channels with Packet Drop Penalty Costs.	ICC	2008	DBLP DOI BibTeX RDF
1	Chi Sun, Enrique Stevens-Navarro, Vincent W. S. Wong	A Constrained MDP-Based Vertical Handoff Decision Algorithm for 4G Wireless Networks.	ICC	2008	DBLP DOI BibTeX RDF
1	Arash Niknafs, Nasrollah Moghaddam Charkari, Ali Akbar Niknafs	PROMETHEE-based recommender system for multi-sort recommendations in on-line stores.	ICDIM	2008	DBLP DOI BibTeX RDF
1	Bernardo Rodrigues Pires, José M. F. Moura, João Xavier	LASIC: A model invariant framework for correspondence.	ICIP	2008	DBLP DOI BibTeX RDF
1	Xiaobin Wang, Wansheng Tang, Ying Sai, Kangkang Zhang	Fuzzy Random EOQ Model with Defective Items and Shortages.	ICNSC	2008	DBLP DOI BibTeX RDF
1	Tianyan Deng, Daoyun Xu	Hardness of Approximation Algorithms on k-SAT and (k, s)-SAT Problems.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Marcelo Yannuzzi, Xavier Masip-Bruin, René Serral-Gracià, Eva Marín-Tordera, Alexander Sprintson, Ariel Orda	Maximum Coverage at Minimum Cost for Multi-Domain IP/MPLS Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF