Search results for "seminal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Roberto Bagnara, Elisa Ricci 0002, Enea Zaffanella, Patricia M. Hill	Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library.	SAS	2002	DBLP DOI BibTeX RDF
10	Paul-André Melliès	Axiomatic Rewriting Theory VI Residual Theory Revisited.	RTA	2002	DBLP DOI BibTeX RDF
10	Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani	Improving the Encoding of LTL Model Checking into SAT.	VMCAI	2002	DBLP DOI BibTeX RDF
10	Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri	Editorial.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF
10	Daniel J. Rosenkrantz, Lin Yu, S. S. Ravi	Efficient Construction of Minimum Makespan Schedules for Tasks with a Fixed Number of Distinct Execution Times.	Algorithmica	2001	DBLP DOI BibTeX RDF	Cell-probe lower bounds, Dynamic prefix sum, Union-find, Random access machine
10	James Aspnes, Julia Hartling, Ming-Yang Kao, Junhyong Kim, Gauri Shah	A Combinatorial Toolbox for Protein Sequence Design and Landscape Analysis in the Grand Canonical Model.	ISAAC	2001	DBLP DOI BibTeX RDF
10	Garud Iyengar, Mehmet Tolga Çezik	Cutting Planes for Mixed 0-1 Semidefinite Programs.	IPCO	2001	DBLP DOI BibTeX RDF
10	Eriola Kruja, Joe Marks, Ann Blair, Richard C. Waters	A Short Note on the History of Graph Drawing.	GD	2001	DBLP DOI BibTeX RDF
10	David Pointcheval	Practical Security in Public-Key Cryptography.	ICISC	2001	DBLP DOI BibTeX RDF
10	Alok R. Chaturvedi, Jan Dickieson, Daniel R. Dolk, Hans Jochen Scholl	Agent-based Simulation and System Dynamics - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
10	Koji Nakano, Stephan Olariu	Uniform Leader Election Protocols in Radio Networks.	ICPP	2001	DBLP DOI BibTeX RDF
10	Lane A. Hemaspaandra, Harald Hempel, Arfst Nickelsen	Algebraic Properties for P-Selectivity.	COCOON	2001	DBLP DOI BibTeX RDF
10	Bruno Pôssas, Wagner Meira Jr., Márcio de Carvalho, Rodolfo F. Resende	Using Quantitative Information for Efficient Association Rule Generation.	SIGMOD Rec.	2000	DBLP DOI BibTeX RDF
10	James A. Whittaker, Jeffrey M. Voas	Toward a More Reliable Theory of Software Reliability.	Computer	2000	DBLP DOI BibTeX RDF
10	Eugene Fiume	Alain Fournier, 1943-2000: an appreciation.	ACM Trans. Graph.	2000	DBLP DOI BibTeX RDF
10	William J. Stewart 0001	Numerical Analysis Methods.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
10	Umesh V. Vazirani	Fourier Transforms and Quantum Computation.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
10	Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano	Making Sense of Specifications: The Formalization of SET.	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
10	Herman Geuvers, Freek Wiedijk, Jan Zwanenburg	A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals.	TYPES	2000	DBLP DOI BibTeX RDF
10	K. Preston White, Michael J. Cobb, Stephen C. Spratt	A comparison of five steady-state truncation heuristics for simulation.	WSC	2000	DBLP DOI BibTeX RDF
10	Jonathan Schaeffer, Aske Plaat	Unifying Single-Agent and Two-Player Search.	AI	2000	DBLP DOI BibTeX RDF
10	Jean Goubault-Larrecq	A Method for Automatic Cryptographic Protocol Verification.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
10	Mikael Goldmann, Alexander Russell	Spectral Bounds on General Hard Core Predicates.	STACS	2000	DBLP DOI BibTeX RDF
10	Christo Dichev, Trendafil Madarov	Propositional Contexts.	AIMSA	2000	DBLP DOI BibTeX RDF
10	Paolo Baldan, Nadia Busi, Andrea Corradini 0001, G. Michele Pinna	Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.	CONCUR	2000	DBLP DOI BibTeX RDF
10	Martin Griebl, Paul Feautrier, Christian Lengauer	On Index Set Splitting.	IEEE PACT	1999	DBLP DOI BibTeX RDF	index set splitting, polytope model, Automatic parallelization, loop parallelization
10	Peter Y. A. Ryan, Steve A. Schneider	Process Algebra and Non-Interference.	CSFW	1999	DBLP DOI BibTeX RDF
10	James Johnson Duderstadt	Beyond the Endless Frontier: The Future of Research University in the Digital Age.	ADL	1999	DBLP DOI BibTeX RDF
10	Deji Chen 0001, Aloysius K. Mok, Tei-Wei Kuo	Utilization Bound Re-visited .	RTCSA	1999	DBLP DOI BibTeX RDF	Scheduling, Utilization bound
10	Mario Rodríguez-Artalejo	Functional and Constraint Logic Programming.	CCL	1999	DBLP BibTeX RDF
10	Richard Beigel, Alexis Maciel	Circuit Lower Bounds Collapse Relativized Complexity Classes.	CCC	1999	DBLP DOI BibTeX RDF	relativized computation, Booleand circuits, oracles, complexity theory
10	Fan R. K. Chung, Ronald L. Graham	Forced Convex n -Gons in the Plane.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
10	Tony Lindeberg	Feature Detection with Automatic Scale Selection.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	normalized derivative, blob detection, multi-scale representation, computer vision, scale, scale-space, feature detection, corner detection, scale selection, frequency estimation, Gaussian derivative
10	Paul-André Melliès	On a Duality Between Kruskal and Dershowitz Theorems.	ICALP	1998	DBLP DOI BibTeX RDF
10	S. K. Adhvaryu, Isaac Balbin	How "Useful" is Multimedia on the WWW for Enhancing Teaching and Learning?	ICMCS	1998	DBLP DOI BibTeX RDF
10	Lassaad Cheikhrouhou, Jörg H. Siekmann	Planning Diagonalization Proofs.	AIMSA	1998	DBLP DOI BibTeX RDF
10	Néstor Carrasquero, José Alí Moreno	A New Genetic Operator for the Travelling Salesman Problem.	IBERAMIA	1998	DBLP DOI BibTeX RDF
10	J. Daniel Couger	Results of a Trans-Discipline Research Structure for Study of Creativity/Innovation in 1.S..	HICSS (3)	1997	DBLP DOI BibTeX RDF
10	Bonnie E. John, David E. Kieras	Using GOMS for User Interface Design and Evaluation: Which Technique?	ACM Trans. Comput. Hum. Interact.	1996	DBLP DOI BibTeX RDF	cognitive modeling, usability engineering, GOMS
10	Alan Gibbons, Martyn Amos, David A. Hodgson	Models of DNA Computation.	MFCS	1996	DBLP DOI BibTeX RDF
10	Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing	(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly.	ECOOP	1996	DBLP DOI BibTeX RDF	Concurrent rewriting, parallelism, reusability, Maude, inheritance anomaly
10	Giorgio Ghelli	Complexity of Kernel Fun Subtype Checking.	ICFP	1996	DBLP DOI BibTeX RDF	polymorphism, subtyping, type theory, type checking
10	Jacques Stern	The Validation of Cryptographic Algorithms.	ASIACRYPT	1996	DBLP DOI BibTeX RDF
10	Michael VanHilst, David Notkin	Decoupling Change from Design.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
10	Richard J. Lipton	DNA computations can have global memory.	ICCD	1996	DBLP DOI BibTeX RDF	global memory, parallel algorithms, parallel computations, DNA computations, DNA, computational problems
10	Jonathan P. Bowen, Michael G. Hinchey	Seven More Myths of Formal Methods.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
10	Birgit Pfitzmann, Matthias Schunter, Michael Waidner	How to Break Another Provably Secure Payment System.	EUROCRYPT	1995	DBLP DOI BibTeX RDF
10	André Guéziec, Nicholas Ayache	Smoothing and matching of 3-d space curves.	Int. J. Comput. Vis.	1994	DBLP DOI BibTeX RDF
10	John Hatcliff, Olivier Danvy	A Generic Account of Continuation-Passing Styles.	POPL	1994	DBLP DOI BibTeX RDF
10	Ravi S. Sharma 0001, David W. Conrath	Evaluating expert systems: a review of applicable approaches.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	impact and justification of AI systems, performance measurement, knowledge engineering
10	Brian T. Kelley, Vijay K. Madisetti	The fast discrete Radon transform. I. Theory.	IEEE Trans. Image Process.	1993	DBLP DOI BibTeX RDF
10	Robert J. Scott	McCulloch's Neurons Revisited.	IWANN	1993	DBLP DOI BibTeX RDF
10	Leonidas Georgiadis, Wojciech Szpankowski	Stability of token passing rings.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	Token passing rings, substability, Loynes' scheme, Little's formula, stability, Markov chains, ergodicity, regenerative processes, stochastically dominant
10	André Guéziec, Nicholas Ayache	Smoothing and Matching of 3-D Space Curves.	ECCV	1992	DBLP DOI BibTeX RDF
10	R. C. Sekar 0001, Shaunak Pawagi, I. V. Ramakrishnan	Small Domains Spell Fast Strictness Analysis.	POPL	1990	DBLP DOI BibTeX RDF
10	Vwani P. Roychowdhury, Thomas Kailath	Subspace scheduling and parallel implementation of non-systolic regular iterative algorithms.	J. VLSI Signal Process.	1989	DBLP DOI BibTeX RDF
10	Gilles Brassard, Claude Crépeau	Sorting out Zero-Knowledge.	EUROCRYPT	1989	DBLP DOI BibTeX RDF
10	Charles H. Bennett, Gilles Brassard	An Update on Quantum Cryptography.	CRYPTO	1984	DBLP DOI BibTeX RDF
10	Daniel Leivant	Polymorphic Type Inference.	POPL	1983	DBLP DOI BibTeX RDF
10	John V. Guttag, Deepak Kapur, David R. Musser	Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems.	ICALP	1982	DBLP DOI BibTeX RDF