Search results for "Restricted"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
42	Sei'ichi Tani, Koichi Yamazaki	Learning of Restricted RNLC Graph Languages.	ISAAC	1995	DBLP DOI BibTeX RDF
41	Daniel Andersson, Vladimir Gurvich, Thomas Dueholm Hansen	On Acyclicity of Games with Cycles.	AAIM	2009	DBLP DOI BibTeX RDF	Positional game, game form, improvement cycle, restricted improvement cycle, restricted acyclicity, Nash-solvability, Nash equilibrium
38	Chen-hsiung Chan, Sheng-An Lee, Cheng-Yan Kao, Huai-Kuang Tsai	Improving EAX with restricted 2-opt.	GECCO	2005	DBLP DOI BibTeX RDF	edge assembly crossover (EAX), restricted 2-opt, genetic algorithm, genetic algorithms, combinatorial optimization, local search, traveling salesman problem (TSP)
38	Hakyong Kim, Kiseon Kim	Performance analysis of the multiple input-queued packet switch with the restricted rule.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	Multiple input queueing (MIQ), free rule, restricted rule
37	David Ezra Sidran, Alberto Maria Segre	Algorithms for generating attribute values for the classification of tactical situations.	SpringSim	2009	DBLP DOI BibTeX RDF	ClassIT, anchored flanks, computational military reasoning, interior lines, restricted avenues of attack, restricted avenues of retreat, tactical algorithms, unsupervised machine learning
37	Valery A. Vardanian	Exact probabilistic analysis of error detection for parity checkers.	VTS	1997	DBLP DOI BibTeX RDF	circuit under check, multi-output supergate, combinational CUC, restricted observability, restricted detectability, concurrent checker, latency, error detection, combinational circuits, probabilistic analysis, single stuck-at fault, parity checker
37	Rajat Kumar Pal, Sudebkumar Prasant Pal, Ajit Pal	An Algorithm for Finding a Non-Trivial Lower Bound for Channel Routing.	VLSI Design	1997	DBLP DOI BibTeX RDF	three-layer restricted dogleg routing model, nontrivial lower bound, channel routing problem, two-layer Manhattan routing model, three-layer no-dogleg HVH routing model, two-layer restricted dogleg routing model, vertical constraint graph, VLSI, polynomial time algorithm, VLSI design
34	Daniel Le Ly, Paul Chow	A high-performance FPGA architecture for restricted boltzmann machines.	FPGA	2009	DBLP DOI BibTeX RDF	neural network hardware, restricted boltzmann machines, scalable hardware designs, fpga, high-performance computing, complexity reduction
34	Allan Tucker, Stephen Swift, Jason Crampton	Efficiency updates for the restricted growth function GA for grouping problems.	GECCO	2007	DBLP DOI BibTeX RDF	restricted growth function, genetic algorithms, grouping
34	Stephen Swift, Allan Tucker, Jason Crampton, David Garway-Heath	An improved restricted growth function genetic algorithm for the consensus clustering of retinal nerve fibre data.	GECCO	2007	DBLP DOI BibTeX RDF	restricted growth functions, retinal nerve fibre layer, genetic algorithms, grouping, consensus clustering
34	Martin Kutrib, Andreas Malcher	Fast Cellular Automata with Restricted Inter-Cell Communication: Computational Capacity.	IFIP TCS	2006	DBLP DOI BibTeX RDF	Restricted communication, Computational capacity, Parallel computing, Cellular automata, Formal languages, Iterative arrays
34	Villy Bæk Iversen	Modelling Restricted Accessibility for Wireless Multi-service Systems.	EuroNGI Workshop	2005	DBLP DOI BibTeX RDF	Restricted accessibility, multi-slot traffic, wireless, CDMA, blocking, processor sharing
34	Refael Hassin, Asaf Levin	Minimum Restricted Diameter Spanning Trees.	APPROX	2002	DBLP DOI BibTeX RDF
33	Ross J. Anderson	A Security Policy Model for Clinical Information Systems.	S&P	1996	DBLP DOI BibTeX RDF	personal health information protection, medical ethics, privacy threats, restricted user numbers, restricted record numbers, strong notification property enforcement, localized information exposure, private banking, intelligence data management, security of data, data privacy, medical information systems, information flow control, DP management, clinical information systems, security policy model
32	Shinobu Nagayama, Tsutomu Sasao	Representations of Two-Variable Elementary Functions Using EVMDDs and their Applications to Function Generators.	ISMVL	2008	DBLP DOI BibTeX RDF	EVMDD, EVBDD, two-variable elementary functions, l-restricted Mp-monotone increasing functions, function generators
30	Zhe-Ming Lu, Zhen Li	Dynamically restricted codebook-based vector quantisation scheme for mesh geometry compression.	Signal Image Video Process.	2008	DBLP DOI BibTeX RDF	Vertex data compression, Dynamically restricted codebook, Computer graphics, Vector quantisation
30	Cláudio F. Lima, Carlos M. Fernandes 0001, Fernando G. Lobo	Investigating restricted tournament replacement in ECGA for non-stationary environments.	GECCO	2008	DBLP DOI BibTeX RDF	restricted tournament replacement, genetic algorithms, estimation of distribution algorithms, niching, diversity preservation, non-stationary environments
30	Wayne Goddard, Michael A. Henning	Restricted domination parameters in graphs.	J. Comb. Optim.	2007	DBLP DOI BibTeX RDF	Domination number, Double domination, k-domination, Restricted
30	Daniel Goujot	Blind Wavelet Compression of the Solution of a Nonlinear PDE with Singular Forcing Term Within Optimal Order Cost: Stability of Restricted Approximation to Small Errors.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	restricted adaptive approximation, Besov spaces, Wavelets, nonlinear approximation, elliptic equations
30	Ho-Lun Cheng, Xinwei Shi	Quality Mesh Generation for Molecular Skin Surfaces Using Restricted Union of Balls.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	restricted union of balls, guaranteed quality triangulation, homeomorphism, meshing, Delaunay triangulation, Smooth surfaces
30	Sanjeev Arora, Kevin L. Chang	Approximation Schemes for Degree-Restricted MST and Red-Blue Separation Problems.	Algorithmica	2004	DBLP DOI BibTeX RDF	Degree-Restricted Minimum Spanning Tree, Low degree, Approximation algorithm
30	Salvador Báez-Franceschi, Karen Le, Diana Velez	Web-based technologies: reaching their ultimate potential on restricted budgets.	SIGUCCS	2004	DBLP DOI BibTeX RDF	University of Houston, VNet, restricted budgets, web operating system, web-based technologies, web services, model, management, information technology
30	Jie Gao 0001, Li Zhang 0001	Tradeoffs between stretch factor and load balancing ratio in routing on growth restricted graphs.	PODC	2004	DBLP DOI BibTeX RDF	growth restricted graphs, routing, wireless networks, load balancing
30	Jesús M. Carnicer, Esmeralda Mainar, Juan Manuel Peña 0001	Restricted Systems.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	p-restricted matrix, local linear independence, shape preservation
30	Abhilash Gummadi, Jong P. Yoon, Biren Shah, Vijay V. Raghavan 0001	A bitmap-based access control for restricted views of XML documents.	XML Security	2003	DBLP DOI BibTeX RDF	restricted views, security cube, security, XML, access control, bitmap
30	Mohammad Erfanul Hoque Siddiqi, Md. Emdadul Haque, M. Shahin, M. Belal Hossan	Spanning trees with restricted degrees for series-parallel graph.	GrC	2005	DBLP DOI BibTeX RDF
30	Mohammad Sohel Rahman, Mohammod Abul Kashem	Degree restricted spanning trees of graphs.	SAC	2004	DBLP DOI BibTeX RDF	algorithms, graphs, NP-completeness, spanning trees, Hamiltonian path
30	Toshiya Itoh, Yoshinori Takei, Jun Tarui	On the sample size of k-restricted min-wise independent permutations and other k-wise distributions.	STOC	2003	DBLP DOI BibTeX RDF	higher incidence matrices, linear algebra methods, min-wise independent permutations, k-wise independence
30	Mark Brehob, Richard J. Enbody, Eric Torng, Stephen Wagner	On-line restricted caching.	SODA	2001	DBLP BibTeX RDF
30	Christoph Meinel	Restricted Branching Programs and Their Computational Power.	MFCS	1990	DBLP DOI BibTeX RDF
30	Gurindar S. Sohi, James E. Smith 0001, James R. Goodman	Restricted Fetch&Phi operations for parallel processing.	ICS	1989	DBLP DOI BibTeX RDF
28	Jean-Daniel Boissonnat, Leonidas J. Guibas, Steve Oudot	Manifold Reconstruction in Arbitrary Dimensions Using Witness Complexes.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Restricted Delaunay triangulation, Reconstruction, Manifold, Witness complex, Weighted Delaunay triangulation
28	Jung-Heum Park, Hyeong-Seok Lim, Hee-Chul Kim	Embedding Starlike Trees into Hypercube-Like Interconnection Networks.	ISPA Workshops	2006	DBLP DOI BibTeX RDF	restricted HL-graphs, path partition, interconnection networks, Spanning trees
28	Jun Tarui, Toshiya Itoh, Yoshinori Takei	A Nearly Linear Size 4-Min-Wise Independent Permutation Family by Finite Geometries.	RANDOM-APPROX	2003	DBLP DOI BibTeX RDF
28	Barbara D. Birchler, Abdol-Hossein Esfahanian, Eric Torng	Toward a General Theory of Unicast-Based Multicast Communication.	WG	1995	DBLP DOI BibTeX RDF
26	Horst W. Hamacher, Stefan Nickel	Multifacility and Restricted Location Problems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Weber problem, Weber-Rawls problem, multifacility Weber problem, multiWeber problem, Gauge, Restricted location problem, Finite dominating set, Barrier location problems, Linear programming, Voronoi diagram, NP-hard, Discretization, Convex polytope, Location theory
26	Dong Yan, Zhengqiu Yang, Chen Liu 0011	An Improved RBAC96 Model with Range Restricted.	IFITA (3)	2009	DBLP DOI BibTeX RDF	RBAC96, Range Restricted, Access Control, Information Management System
26	Chengyu Fan, Shijie Zhou, Fagen Li	An Identity-Based Restricted Deniable Authentication Protocol.	ISPA	2009	DBLP DOI BibTeX RDF	restricted deniability, KCI attack, Bilinear pairings
26	Takuo Nakashima	Queue Length Behavior on Restricted Link Under Bursty Self-similar TCP Traffic.	AINA Workshops	2009	DBLP DOI BibTeX RDF	Restricted link, TCP, Queue length, Self-similar traffic
26	Jianxi Fan, Shukui Zhang, Xiaohua Jia, Guangquan Zhang 0002	The Restricted Connectivity of Locally Twisted Cubes.	ISPAN	2009	DBLP DOI BibTeX RDF	set of restricted faulty nodes, fault-free, Connectivity, unicast
26	Stefan Piger, Christian Grimm, Ralf Groeper, Christopher Kunz	A Comprehensive Approach to Self-Restricted Delegation of Rights in Grids.	CCGRID	2008	DBLP DOI BibTeX RDF	restricted delegation, Grid Computing, authorization policy, proxy certificate
26	Matti Järvisalo, Tommi A. Junttila	Limitations of restricted branching in clause learning.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Branching heuristics, Clause learning, Backdoor sets, Proof complexity, Propositional satisfiability, DPLL, Problem structure
26	Jim Sukha	Brief announcement: a lower bound for depth-restricted work stealing.	SPAA	2009	DBLP DOI BibTeX RDF	dynamic multithreading, intel threading building blocks, scheduling, work stealing, cilk
26	Mao-cheng Cai, Qizhi Fang	Restricted Core Stability of Flow Games.	WINE	2008	DBLP DOI BibTeX RDF	Flow game, stability, core, maximum flow, minimum cut
26	Reinhard Pichler, Axel Polleres, Fang Wei 0001, Stefan Woltran	dRDF: Entailment for Domain-Restricted RDF.	ESWC	2008	DBLP DOI BibTeX RDF
26	Hande Yaman, Oya Ekin Karasan, Mustafa Ç. Pinar	Restricted Robust Uniform Matroid Maximization Under Interval Uncertainty.	Math. Program.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C10, 90C27, 90C47
26	Adam L. Buchsbaum, Alon Efrat, Shaili Jain, Suresh Venkatasubramanian, Ke Yi 0001	Restricted strip covering and the sensor cover problem.	SODA	2007	DBLP BibTeX RDF
26	Matti Järvisalo, Tommi A. Junttila	Limitations of Restricted Branching in Clause Learning.	CP	2007	DBLP DOI BibTeX RDF
26	Mehran Ahsant, Jim Basney, Olle Mulmo, Adam J. Lee, S. Lennart Johnsson	Toward an On-Demand Restricted Delegation Mechanism for Grids.	GRID	2006	DBLP DOI BibTeX RDF
26	Ou Jianping, Fuji Zhang	Super Restricted Edge Connectivity of Regular Graphs.	Graphs Comb.	2005	DBLP DOI BibTeX RDF	AMS Classification 05C40
26	Lee Flax	A Proposal for Reasoning in Agents: Restricted Entailment.	DALT	2003	DBLP DOI BibTeX RDF
26	Po-Jen Chuang, Juei-Tang Chen, Yue-Tsuen Jiang	Balancing Buffer Utilization in Meshes Using a 'Restricted Area' Concept.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	Adaptive routing algorithms, balanced buffer utilization, performance evaluation, meshes, wormhole routing, virtual channels, turn model
26	Ruy Luiz Milidiú, Eduardo Sany Laber	Bounding the Inefficiency of Length-Restricted Prefix Codes.	Algorithmica	2001	DBLP DOI BibTeX RDF	Huffman trees, Approximative algorithm, Compression, Redundancy, Prefix codes
26	Vijay Raghavan 0002, Jeremy P. Spinrad	Robust algorithms for restricted domains.	SODA	2001	DBLP BibTeX RDF
26	Tommi Syrjänen	Omega-Restricted Logic Programs.	LPNMR	2001	DBLP DOI BibTeX RDF
24	Jean-Daniel Boissonnat, Leonidas J. Guibas, Steve Oudot	Manifold reconstruction in arbitrary dimensions using witness complexes.	SCG	2007	DBLP DOI BibTeX RDF	manifold reconstruction, restricted Delaunay triangulation, sampling conditions, witness complex
24	Gulshan Singh, Kalyanmoy Deb	Comparison of multi-modal optimization algorithms based on evolutionary algorithms.	GECCO	2006	DBLP DOI BibTeX RDF	clearing, restricted tournament selection, species conserving GA, sharing, niching, crowding
24	René Bekker	Finite-Buffer Queues with Workload-Dependent Service and Arrival Rates.	Queueing Syst. Theory Appl.	2005	DBLP DOI BibTeX RDF	restricted accessibility, state-dependent rates, cycle maximum, workload, finite buffer, level crossings, Volterra integral equation, impatience
24	Seung-Hyun Kim, Kyong Hoon Kim, Jong Kim 0001, Sung Je Hong, Sangwan Kim	Workflow-Based Authorization Service in the Grid.	J. Grid Comput.	2004	DBLP DOI BibTeX RDF	fine-grained authorization service, restricted delegation, workflow-based authorization, Grid security
24	Seung-Hyun Kim, Jong Kim 0001, Sung Je Hong, Sangwan Kim	Workflow-based Authorization Service in Grid.	GRID	2003	DBLP DOI BibTeX RDF	fine-grained authorization service, restricted delegation, Grid security
24	Lujin Wang, Zesheng Tang	View-Dependent Continuous Level-of-Detail Rendering of Terrain Model.	PG	2000	DBLP DOI BibTeX RDF	restricted quadtree, dynamic rendering, fractal dimension, terrain model, multi-resolution representation
24	Xijiang Lin, Irith Pomeranz, Sudhakar M. Reddy	MIX: A Test Generation System for Synchronous Sequential Circuits.	VLSI Design	1998	DBLP DOI BibTeX RDF	deterministic test generation genetic optimization based test generation restricted multiple observation time approach state based test generation synchronous sequential circuits
24	Irith Pomeranz, Zvi Kohavi	The minimum test set problem for circuits with nonreconvergent fanout.	J. Electron. Test.	1991	DBLP DOI BibTeX RDF	minimum test set size problem, nonreconvergent fanout circuits, restricted fanout circuits, Labeling algorithms
24	Yaoqing Gao, Chengzheng Sun, Shouren Hu	Study of a Parallel Inference Machine for Parallel Execution of Logic Programs.	CONPAR	1990	DBLP DOI BibTeX RDF	OR-Forest Description, Restricted AND Parallelism, Limited OR Parallelism, RAP/LOP-WAM, Logic Programming, WAM
24	Adam Liwo, Jaroslaw Pillardy, Cezary Czaplewski, Jooyoung Lee 0002, Daniel R. Ripoll, Malgorzata Groth, Sylwia Rodziewicz-Motowidlo, Rajmund Kazmierkiewicz, Ryszard J. Wawak, Stanislaw Oldziej, Harold A. Scheraga	UNRES: a united-residue force field for energy-based prediction of protein structure - orgin and significance of multibody terms.	RECOMB	2000	DBLP DOI BibTeX RDF
24	Burkhard Monien, Ivan Hal Sudborough	Time and Space Bounded Complexity Classes and Bandwidth Constrained Problems (A Survey).	MFCS	1981	DBLP DOI BibTeX RDF
22	Klaus Meer	On Ladner's Result for a Class of Real Machines with Restricted Use of Constants.	CiE	2009	DBLP DOI BibTeX RDF	real number model, diagonal problems, Complexity
22	Xiaoxun Sun, Hua Wang 0002, Jiuyong Li	On the Complexity of Restricted k-anonymity Problem.	APWeb	2008	DBLP DOI BibTeX RDF
22	Mike Liddell, Alistair Moffat	Incremental Calculation of Minimum-Redundancy Length-Restricted Codes.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
22	Alejandro Almeida Ruiz, Fabrizio Luccio, Antonio Mesa Enriques, Linda Pagli	k-Restricted Rotation with an Application to Search Tree Rebalancing.	WADS	2005	DBLP DOI BibTeX RDF	Rotation distance, Rebalancing, Data structures, Rotation, Binary tree, Search tree, AVL tree, Design of algorithms
22	Joseph K. Liu, Duncan S. Wong	A Restricted Multi-show Credential System and Its Application on E-Voting.	ISPEC	2005	DBLP DOI BibTeX RDF
22	Mariano Pérez, Ricardo Olanda, Marcos Fernández 0001	Visualization of Large Terrain Using Non-restricted Quadtree Triangulations.	ICCSA (2)	2004	DBLP DOI BibTeX RDF
22	Fidel Cacheda, Victor Carneiro, Carmen Guerrero, Ángel Viña	Optimization of Restricted Searches in Web Directories Using Hybrid Data Structures.	ECIR	2003	DBLP DOI BibTeX RDF
22	Mike Liddell, Alistair Moffat	Length-Restricted Coding Using Modified Probability Distributions.	ACSC	2001	DBLP DOI BibTeX RDF
22	Van H. Vu	Extremal Set Systems with Weakly Restricted Intersections.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05D05, 05B20
22	Mike Simone, A. Essen, A. Ike, A. Krishnamoorthy, Tak Maruyama, Niteen Patkar, M. Ramaswami, Michael Shebanow, V. Thirumalaiswamy, DeForest Tovey	Implementation Trade-Offs in Using a Restricted Data Flow Architecture in a High Performance RISC Microprocessor.	ISCA	1995	DBLP DOI BibTeX RDF	SPARC
22	Hans-Jürgen Bürckert	Some Relationships between Unification, restricted Unification, and Matching.	CADE	1986	DBLP DOI BibTeX RDF
20	Sunghwan Chun, Seo-Young Lee, Kwang-Mu Shin, Ki-Dong Chung	An enhanced multi-view video compression using the constrained inter-view prediction.	SAC	2009	DBLP DOI BibTeX RDF	global disparity vector, restricted inter-view prediction, multi-view video coding
20	Nader Salman, Mariette Yvinec	High resolution surface reconstruction from overlapping multiple-views.	SCG	2009	DBLP DOI BibTeX RDF	cimg, restricted delaunay triangulation, triangle soup, surface reconstruction, multiple-views, delaunay refinement, cgal
20	Sébastien Loisel, Reinhard Nabben, Daniel B. Szyld	On Hybrid Multigrid-Schwarz Algorithms.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Weighted restricted additive Schwarz methods, Domain decomposition, Convergence analysis
20	Sun-Yuan Hsieh, Chia-Wei Lee	Hamiltonicity of Matching Composition Networks with Conditional Edge Faults.	TAMC	2008	DBLP DOI BibTeX RDF	Algorithmica aspect of network problems, conditional edge faults, matching composition networks, restricted hypercube-like networks, fault-tolerance, graph theory, multiprocessor systems, Hamiltonian cycles, Hamiltonicity
20	Chun Chet Tan, Chikkannan Eswaran	Performance Comparison of Three Types of Autoencoder Neural Networks.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Autoencoder, Restricted Boltzmann Machine, neural network, dimensionality reduction
20	Guadalupe Aguado de Cea, Asunción Gómez-Pérez, Elena Montiel-Ponsoda, Mari Carmen Suárez-Figueroa	Natural Language-Based Approach for Helping in the Reuse of Ontology Design Patterns.	EKAW	2008	DBLP DOI BibTeX RDF	Ontology Design Patterns Reuse, Lexico-Syntactic Patterns, restricted vs. unrestricted NL, ontology modelling
20	Ramsay Dyer, Hao Zhang 0002, Torsten Möller	Voronoi-Delaunay duality and Delaunay meshes.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	Delaunay mesh, Delaunay triangulation (DT), intrinsic DT, restricted DT, Voronoi diagram
20	Dominique Attali, Herbert Edelsbrunner, Yuriy Mileyko	Weak witnesses for Delaunay triangulations of submanifolds.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	computational geometry and topology, restricted Delaunay triangulations, surfaces, curves, witness complexes
20	Carl Hewitt	Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency.	COIN	2007	DBLP DOI BibTeX RDF	Direct Logic, Mental Agents, Organizational Computing, ORGs (Organizations of Restricted Generality), Concurrency, Policies, Reflection, Norms, Norms, Inconsistency, Practices, Institutions, Co-ordination, Paraconsistency
20	Jung-Heum Park, Hee-Chul Kim, Hyeong-Seok Lim	Many-to-Many Disjoint Path Covers in Hypercube-Like Interconnection Networks with Faulty Elements.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	fault-Hamiltonicity, strong Hamiltonicity, recursive circulants, restricted HL-graphs, Fault tolerance, graph theory, embedding, network topology
20	Lawrence H. Cox, Jay J. Kim	Effects of Rounding on the Quality and Confidentiality of Statistical Data.	Privacy in Statistical Databases	2006	DBLP DOI BibTeX RDF	unbiased, zero-restricted 50/50 rounding, conventional, Chi-square
20	Keith Rennolls	A Partial Ontology for Forest Inventory and Mensuration.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	restricted, caltalogue, e-IO, FIM, FSCTK, FMA, ontology, thesaurus, vocabulary
20	Oliver Kullmann	Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	satisfiability problem (SAT), systems with partial instantiation, generalised resolution, lower bounds for resolution, upper bounds for SAT algorithms, automatisation of proof systems, generalised input resolution, generalised width restricted resolution, induced width of constraint satisfaction problems, constraint satisfaction problems, propositional logic, polynomial time hierarchies
20	Jin Kook Kim, Jong Beom Ra	A real-time terrain visualization algorithm using wavelet-based compression.	Vis. Comput.	2004	DBLP DOI BibTeX RDF	Mesh approximation, Restricted quadtree triangulation, Wavelet transform, Image compression, Terrain visualization
20	Kwok Ping Chan, Tsong Yueh Chen, Fei-Ching Kuo, Dave Towey	A Revisit of Adaptive Random Testing by Restrictio.	COMPSAC	2004	DBLP DOI BibTeX RDF	Restricted Random Testing, Software Testing, Random Testing, Adaptive Random Testing, Mirroring
20	Stephan Recker	Service Curve Based Routing Subject to Deterministic QoS Constraints.	Telecommun. Syst.	2003	DBLP DOI BibTeX RDF	deterministic network calculus, cost model for service curves, optimal link resource allocation, restricted shortest path problem, local search heuristics, service curves
20	Seongbae Park, SangMin Shim, Soo-Mook Moon	Evaluation of Scheduling Techniques on a SPARC-based VLIW Testbed.	MICRO	1997	DBLP DOI BibTeX RDF	SPARC-based VLIW testbed, VLIW microprocessors, Very Long Instruction Word microprocessors, all-path speculation, gcc-generated optimized SPARC code, high-performance VLIW code, nongreedy enhanced pipeline scheduling, nonspeculative operations, profile-based all-path speculation, restricted speculative loads, scheduling compiler, speculative operations, trace-based speculation, performance, compiler, computer architecture, parallel machines, software pipelining, loop unrolling, renaming, memory disambiguation, copies, scheduling techniques
20	Simon Fowler 0002, Andy J. Wellings	Formal development of a real-time kernel.	RTSS	1997	DBLP DOI BibTeX RDF	formal development, simple real time operating system kernel, restricted Ada 95 tasking model, fixed priority real time systems, abstract specification, PVS proof system, computational model, RTL, operating system kernels
20	T. C. Nicholas Graham, Tore Urnes	Linguistic Support for the Evolutionary Design of Software Architectures.	ICSE	1996	DBLP BibTeX RDF	Clock-Works programming environment, architecture language, automatic message routing, constraint-based communication, multiuser applications, restricted scoping, visual syntax, software engineering, interactive, software architectures, programming environments, interactive systems, Clock, high level languages
20	Boris A. Romov	Completeness Theory for Vector Partial Multiple-Valued Logic Functions.	ISMVL	1995	DBLP DOI BibTeX RDF	completeness theory, vector partial multiple-valued logic functions, completeness criterion, multiple-base invariant relations algebra, restricted quantifier free calculus, multivalued logic, Galois connection
20	Guido Wirtz	Modularization, re-use and testing for parallel message-passing programs.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel message-passing programs, program reuse, parallel program design, imperative message-passing programming language, distributed memory paradigm, graphical constructs, sequential parts, slightly restricted ANSI-C, formal specification, parallel programming, message passing, modularization, requirements, program testing, program testing, software reusability, distributed memory systems, parallel languages, sequential programming
20	Florian Höpfl, J. Schirrmacher, M. Trent	A Distributed Shared Memory Multiprocessor Kit with Scalable Local Complexity.	CONPAR	1990	DBLP DOI BibTeX RDF	memory coupling, variable restricted neighbourhood, clustering
20	Bengt Sigurd, Barbara Gawronska-Werngren	The potential of Swetra - A multilanguage MT system.	Mach. Transl.	1988	DBLP DOI BibTeX RDF	referent grammar, defective categories, grammatically restricted machine translation, Russian, Swedish, machine translation, English