Search results for "subsumes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
53	Donghee Lee 0001, Jongmoo Choi, Jong-Hun Kim, Sam H. Noh, Sang Lyul Min, Yookun Cho, Chong-Sang Kim	LRFU: A Spectrum of Policies that Subsumes the Least Recently Used and Least Frequently Used Policies.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	LFU, trace-driven simulation, replacement policy, LRU, Buffer cache
43	Amine M. Boumaza, Bruno Scherrer	Optimal control subsumes harmonic control.	ICRA	2007	DBLP DOI BibTeX RDF
36	Allen S. Parrish, Stuart H. Zweben	On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	subsumes, covers, data flow testing, Adequacy criteria
32	Sreekala S., Vineeth Paleri	Copy Propagation subsumes Constant Propagation.	CoRR	2022	DBLP DOI BibTeX RDF
32	Davide Barbarossa, Giulio Manzonetto	Taylor subsumes Scott, Berry, Kahn and Plotkin.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
32	Ghislain Fourny	Common Counterfactual Belief of Rationality Subsumes Superrationality On Symmetric Games.	CoRR	2017	DBLP BibTeX RDF
32	Sen Bai, Xin Bai 0004, Xiangjiu Che	Window-LRFU: a cache replacement policy subsumes the LRU and window-LFU policies.	Concurr. Comput. Pract. Exp.	2016	DBLP DOI BibTeX RDF
32	Mohit Sinha, Florian Dörfler, Brian B. Johnson, Sairaj V. Dhople	Virtual Oscillator Control subsumes droop control.	ACC	2015	DBLP DOI BibTeX RDF
32	João Rasga, Amílcar Sernadas, Cristina Sernadas	Fibring as Biporting Subsumes Asymmetric Combinations.	Stud Logica	2014	DBLP DOI BibTeX RDF
32	Eunji Lee, Hyokyung Bahn, Sam H. Noh	A Unified Buffer Cache Architecture that Subsumes Journaling Functionality via Nonvolatile Memory.	ACM Trans. Storage	2014	DBLP DOI BibTeX RDF
32	Ingram Olkin, Larry Shepp	An inequality that subsumes the inequalities of Radon, Bohr, and Shannon.	Ann. Oper. Res.	2013	DBLP DOI BibTeX RDF
32	Makoto Kanazawa, Jens Michaelis, Sylvain Salvati, Ryo Yoshinaka	Well-Nestedness Properly Subsumes Strict Derivational Minimalism.	LACL	2011	DBLP DOI BibTeX RDF
32	Donghee Lee 0001, Jongmoo Choi, Jong-Hun Kim, Sam H. Noh, Sang Lyul Min, Yookun Cho, Chong-Sang Kim	On the Existence of a Spectrum of Policies that Subsumes the Least Recently Used (LRU) and Least Frequently Used (LFU) Policies.	SIGMETRICS	1999	DBLP DOI BibTeX RDF
32	Nicole Bidoit, Christine Froidevaux	Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming	LICS	1987	DBLP BibTeX RDF
31	Venky Harinarayan, Ashish Gupta 0001	Optimization Using Tuple Subsumption.	ICDT	1995	DBLP DOI BibTeX RDF
21	Laura Bozzelli, Régis Gascon	Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints.	LPAR	2006	DBLP DOI BibTeX RDF
21	Davide Ancona, Eugenio Moggi	A Fresh Calculus for Name Management.	GPCE	2004	DBLP DOI BibTeX RDF
21	Hyoung Seok Hong, Hasan Ural	Using Model Checking for Reducing the Cost of Test Generation.	FATES	2004	DBLP DOI BibTeX RDF
21	Y. J. Jiang, Yongyuth Aramkulchai	On the Relationship between Assumption-based Framework and Autoepistemic Logic.	ISMIS	1994	DBLP DOI BibTeX RDF	Assumption-based framework, Argumentation system, Reflexive Autoepistemic Logic, 3-valued AE logic, Abduction, Autoepistemic Logic
21	Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi	Generalized Predicate Completion.	KBCS	1989	DBLP DOI BibTeX RDF
21	E. Allen Emerson, Joseph Y. Halpern	"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time.	POPL	1983	DBLP DOI BibTeX RDF
10	Jean-Philippe P. Richard, Mohit Tawarmalani	Lifting inequalities: a framework for generating strong cuts for nonlinear programs.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C26, 90C30, 90C11
10	Dong Liang 0002, Wilbert E. Wilhelm	A generalization of column generation to accelerate convergence.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 49M27, 90B90, 90C10, 90C05
10	Steffen Rendle, Christoph Freudenthaler, Lars Schmidt-Thieme	Factorizing personalized Markov chains for next-basket recommendation.	WWW	2010	DBLP DOI BibTeX RDF	basket recommendation, markov chain, matrix factorization
10	Zhijing G. Mou, Hai Liu 0012, Paul Hudak	Compress-and-conquer for optimal multicore computing.	DAMP	2010	DBLP DOI BibTeX RDF	compress and conquer, parallel computing, functional programming, scan, divide and conquer, programming paradigm, multicore programming
10	Mangesh Gupte, Mukund Sundararajan	Universally optimal privacy mechanisms for minimax agents.	PODS	2010	DBLP DOI BibTeX RDF	universally optimal privacy, decision theory, linear algebra, differential privacy, minimax
10	Michael Benedikt, Gabriele Puppis, Huy Vu	Positive higher-order queries.	PODS	2010	DBLP DOI BibTeX RDF	higher-order queries
10	Loïc Petit, Cyril Labbé, Claudia Roncancio	An algebric window model for data stream management.	MobiDE	2010	DBLP DOI BibTeX RDF	data stream, optimisation, algebra, window, transposition
10	John William Hatfield, Scott Duke Kominers	Matching in networks with bilateral contracts: extended abstract.	EC	2010	DBLP DOI BibTeX RDF	quasisubmodularity, networks, stability, matching, substitutes
10	Dov M. Gabbay, Andrzej Szalas	Annotation Theories over Finite Graphs.	Stud Logica	2009	DBLP DOI BibTeX RDF	labeled graphs, semantics of logic programs, second-order quantifier elimination, annotations, argumentation theory
10	Hyokyung Bahn, Soyoon Lee, Sam H. Noh	P/PA-SPTF: Parallelism-aware request scheduling algorithms for MEMS-based storage devices.	ACM Trans. Storage	2009	DBLP DOI BibTeX RDF	seek time, scheduling, parallelism, starvation, MEMS-based storage
10	Ai Azuma, Yuji Matsumoto 0001	A Generalization of Forward-Backward Algorithm.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF
10	Spyros Angelopoulos 0001, Pascal Schweitzer	Paging and list update under bijective analysis.	SODA	2009	DBLP DOI BibTeX RDF
10	Erik D. Demaine, Dion Harmon, John Iacono, Daniel Kane 0001, Mihai Patrascu	The geometry of binary search trees.	SODA	2009	DBLP DOI BibTeX RDF
10	Tiancheng Li, Ninghui Li, Jian Zhang 0003	Modeling and Integrating Background Knowledge in Data Anonymization.	ICDE	2009	DBLP DOI BibTeX RDF
10	Hongbo Rong	Tree register allocation.	MICRO	2009	DBLP DOI BibTeX RDF	register allocation, chordal graph
10	Martin Hofmann 0001, Ulrich Schöpp	Pointer Programs and Undirected Reachability.	LICS	2009	DBLP DOI BibTeX RDF
10	Manuel Caroli, Monique Teillaud	Computing 3D Periodic Triangulations.	ESA	2009	DBLP DOI BibTeX RDF
10	A. Agung Julius, George J. Pappas	Trajectory Based Verification Using Local Finite-Time Invariance.	HSCC	2009	DBLP DOI BibTeX RDF
10	Oriol Pujol, Eloi Puertas, Carlo Gatta	Multi-scale Stacked Sequential Learning.	MCS	2009	DBLP DOI BibTeX RDF
10	Robert S. R. Myers, Dirk Pattinson, Lutz Schröder	Coalgebraic Hybrid Logic.	FoSSaCS	2009	DBLP DOI BibTeX RDF
10	Jacky Estublier, Eric Simon	Universal and Extensible Service-Oriented Platform Feasibility and Experience: The Service Abstract Machine.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
10	Ilya Averbouch, Johann A. Makowsky, Peter Tittmann 0001	A Graph Polynomial Arising from Community Structure (Extended Abstract).	WG	2009	DBLP DOI BibTeX RDF
10	Michael Huth 0001, Nir Piterman, Daniel Wagner 0002	Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL.	FCT	2009	DBLP DOI BibTeX RDF
10	David P. Woodruff	The average-case complexity of counting distinct elements.	ICDT	2009	DBLP DOI BibTeX RDF	distinct elements, data streams
10	Geoffrey Chu, Peter J. Stuckey	Minimizing the Maximum Number of Open Stacks by Customer Search.	CP	2009	DBLP DOI BibTeX RDF
10	Nicolas Baudru	Distributed Asynchronous Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
10	Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota 0001	Partially-Commutative Context-Free Processes.	CONCUR	2009	DBLP DOI BibTeX RDF
10	Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri	Finding Concurrency-Related Bugs Using Random Isolation.	VMCAI	2009	DBLP DOI BibTeX RDF
10	Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith	Query-Driven Program Testing.	VMCAI	2009	DBLP DOI BibTeX RDF
10	Saigopal Nelaturi, Vadim Shapiro	Configuration products in geometric modeling.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF
10	Kelly Androutsopoulos, David Clark 0001, Mark Harman, Zheng Li 0002, Laurence Tratt	Control Dependence for Extended Finite State Machines.	FASE	2009	DBLP DOI BibTeX RDF	reactive systems, slicing, control dependence, extended finite state machines
10	Deepayan Chakrabarti, Yang Wang 0008, Chenxi Wang, Jure Leskovec, Christos Faloutsos	Epidemic thresholds in real networks.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	Viral propagation, eigenvalue, epidemic threshold
10	Pietro Amenta	Generalized constrained co-inertia analysis.	Adv. Data Anal. Classif.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 62-07, 62-H20, 62-H25, 62-P12, 91B76
10	Manfred Droste, Paul Gastin	On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Aperiodic languages, Star-free languages, Traces, Semiring, Formal power series, Weighted automata
10	Aaron B. Wagner, Venkat Anantharam	An Improved Outer Bound for Multiterminal Source Coding.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
10	Hongbo Rong, Alban Douillet, Guang R. Gao	Register allocation for software pipelined multidimensional loops.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	register allocation, Software pipelining
10	Levent Yilmaz, Andreas Tolk	A Unifying Multimodel Taxonomy and Agent-Supported Multisimulation Strategy for Decision-Support.	Intelligent Decision Making: An AI-Based Approach	2008	DBLP DOI BibTeX RDF
10	Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto	A Conditional Logical Framework.	LPAR	2008	DBLP DOI BibTeX RDF
10	Michael Botros Shenouda, Timothy N. Davidson	Design of Fair Multi-user Transceivers with QoS and Imperfect CSI.	CNSR	2008	DBLP DOI BibTeX RDF	robust transceiver design, Quality of service constraints, Channel uncertainty, Broadcast channel
10	Faisal Ghias Mir, Jesper Larsson Träff	Constructing MPI Input-output Datatypes for Efficient Transpacking.	PVM/MPI	2008	DBLP DOI BibTeX RDF
10	Fevzi Belli, Axel Hollmann	Test generation and minimization with "basic" statecharts.	SAC	2008	DBLP DOI BibTeX RDF	fault modeling, statecharts, test case generation, test coverage, test optimization
10	Eduardo Figueiredo 0001, Cláudio Sant'Anna, Alessandro Garcia 0001, Thiago T. Bartolomei, Walter Cazzola, Alessandro Marchetto 0001	On the Maintainability of Aspect-Oriented Software: A Concern-Oriented Measurement Framework.	CSMR	2008	DBLP DOI BibTeX RDF
10	Shuichi Ohno, Kok Ann Donny Teo	Approximate ber expression of ML equalizer for OFDM over doubly selective channels.	ICASSP	2008	DBLP DOI BibTeX RDF
10	Manfred Droste, Karin Quaas	A Kleene-Schützenberger Theorem for Weighted Timed Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
10	Tal Mizrahi, Yoram Moses	Continuous Consensus with Ambiguous Failures.	ICDCN	2008	DBLP DOI BibTeX RDF	continuous consensus, fault tolerance, Distributed computing, consensus
10	Ilinca Ciupa, Bertrand Meyer 0001, Manuel Oriol, Alexander Pretschner	Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports.	ISSRE	2008	DBLP DOI BibTeX RDF
10	Marcelo Arenas, Jorge Pérez 0001, Cristian Riveros	The recovery of a schema mapping: bringing exchanged data back.	PODS	2008	DBLP DOI BibTeX RDF	maximum recovery, data integration, recovery, data exchange, schema mapping, inverse, metadata management
10	Lei Jia, Shizhong Liao	A Generic Diffusion Kernel for Semi-supervised Learning.	ISNN (1)	2008	DBLP DOI BibTeX RDF	Graph-based Semi-Supervised Learning, Diffusion Kernel, Similarity, Kernel Methods
10	Haiquan Chen, Wei-Shinn Ku, Min-Te Sun, Roger Zimmermann	The multi-rule partial sequenced route query.	GIS	2008	DBLP DOI BibTeX RDF	advanced traveler information systems, location-based services
10	Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone	Tax-and-spend: democratic scheduling for real-time garbage collection.	EMSOFT	2008	DBLP DOI BibTeX RDF	jvm, java, real time, garbage collection
10	Cunqing Hua, Rong Zheng 0001	Starvation Modeling and Identification in Dense 802.11 Wireless Community Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
10	Rafael Caballero 0001, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Similarity-based reasoning in qualified logic programming.	PPDP	2008	DBLP DOI BibTeX RDF	qualification domains, similarity relations
10	Taisuke Sato, Yoshitaka Kameya	New Advances in Logic-Based Probabilistic Modeling by PRISM.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
10	Miroslaw Kowaluk, Andrzej Lingas, Johannes Nowak	A Path Cover Technique for LCAs in Dags.	SWAT	2008	DBLP DOI BibTeX RDF
10	Matthias Jeschke, Roland Ewald	Large-Scale Design Space Exploration of SSA.	CMSB	2008	DBLP DOI BibTeX RDF	Stochastic Simulation Algorithms, Performance Evaluation
10	Florent Jacquemard, Michaël Rusinowitch	Closure of Hedge-Automata Languages by Hedge Rewriting.	RTA	2008	DBLP DOI BibTeX RDF
10	Mikhail Prokopenko, Astrid Zeman, Rongxin Li	Homeotaxis: Coordination with Persistent Time-Loops.	SAB	2008	DBLP DOI BibTeX RDF
10	Christian Hammer 0001, Julian Dolby, Mandana Vaziri, Frank Tip	Dynamic detection of atomic-set-serializability violations.	ICSE	2008	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming
10	Martin Hofmann 0001, Ulrich Schöpp	Pure Pointer Programs with Iteration.	CSL	2008	DBLP DOI BibTeX RDF
10	Ruzica Piskac, Viktor Kuncak	Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.	CSL	2008	DBLP DOI BibTeX RDF	verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets
10	Peter Mork, Kenneth P. Smith, Barbara T. Blaustein, Chris Wolf, Keri Sarver	Facilitating discovery on the private web using dataset digests.	iiWAS	2008	DBLP DOI BibTeX RDF	dataset discovery, private web, search engine, structured data, disclosure
10	Jun Zhu 0001, Eric P. Xing, Bo Zhang 0010	Laplace maximum margin Markov networks.	ICML	2008	DBLP DOI BibTeX RDF
10	Esteban Feuerstein, Pablo Ariel Heiber, Marcelo Mydlarz	Truthful Stochastic and Deterministic Auctions for Sponsored Search.	LA-WEB	2008	DBLP DOI BibTeX RDF
10	Guillaume Feuillade, Sophie Pinchinat	Modal Specifications for the Control Theory of Discrete Event Systems.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Conjunctive nu-calculus, Modal specifications, Maximally permissive solutions, Logics, Reactive systems, Control theory, Mu-calculus
10	Benoit Gaudin, Hervé Marchand	An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Supervisory control problem, Concurrent finite state machines, Partial controllability, Discrete event systems
10	Christopher R. Stephens, Riccardo Poli	Coarse-Grained Dynamics for Generalized Recombination.	IEEE Trans. Evol. Comput.	2007	DBLP DOI BibTeX RDF
10	K. Subramani 0001	On a decision procedure for quantified linear programs.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68W05, 68Q17, 90C05, 68W40
10	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	Space-Optimal, Wait-Free Real-Time Synchronization.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	wait-free buffers, real-time systems, Nonblocking synchronization, space-optimality
10	Jun Chen 0005, Venugopal V. Veeravalli	Capacity Results for Block-Stationary Gaussian Fading Channels With a Peak Power Constraint.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
10	Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Régin	The Deviation Constraint.	CPAIOR	2007	DBLP DOI BibTeX RDF
10	Anirban Dasgupta 0001, John E. Hopcroft, Ravi Kannan, Pradipta Prometheus Mitra	Spectral clustering with limited independence.	SODA	2007	DBLP BibTeX RDF
10	Renate A. Schmidt, Dmitry Tishkovsky	Using Tableau to Decide Expressive Description Logics with Role Negation.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
10	Eunsuk Kang, Mark D. Aagaard	Improving the Usability of HOL Through Controlled Automation Tactics.	TPHOLs	2007	DBLP DOI BibTeX RDF
10	James Brotherston, Alex Simpson	Complete Sequent Calculi for Induction and Infinite Descent.	LICS	2007	DBLP DOI BibTeX RDF
10	Peter Mork, Philip A. Bernstein, Sergey Melnik 0001	Teaching a Schema Translator to Produce O/R Views.	ER	2007	DBLP DOI BibTeX RDF
10	Kenneth L. Knowles, Cormac Flanagan	Type Reconstruction for General Refinement Types.	ESOP	2007	DBLP DOI BibTeX RDF
10	Henning Christiansen 0001, Christina Mackeprang Dahmcke	A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders.	MLDM	2007	DBLP DOI BibTeX RDF
10	Dirk Nowotka, Jirí Srba	Height-Deterministic Pushdown Automata.	MFCS	2007	DBLP DOI BibTeX RDF
10	Marc Meister, Khalil Djelloul, Jacques Robin	A Unified Semantics for Constraint Handling Rules in Transaction Logic.	LPNMR	2007	DBLP DOI BibTeX RDF