Search results for "seminal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Graham Cormode, S. Muthukrishnan 0001	Substring compression problems.	SODA	2005	DBLP BibTeX RDF
10	László A. Végh, András A. Benczúr	Primal-dual approach for directed vertex connectivity augmentation and generalizations.	SODA	2005	DBLP BibTeX RDF
10	Mariangela Franch, Umberto Martini, Pierluigi Novi Inverardi, Federica Buffa	Awareness and Exploitation of the Potential of the Web by SMTEs: The Case of Alpine Hotels in Italy and France.	ENTER	2005	DBLP DOI BibTeX RDF	ICTs potential in tourism, SMTEs and the Web, hotelkeepers of the Alps
10	Todd Ebert, Darin Goldstein	A "Go With the Winners" approach to finding frequent patterns.	SAC	2005	DBLP DOI BibTeX RDF
10	David M. Levy	To grow in wisdom: vannevar bush, information overload, and the life of leisure.	JCDL	2005	DBLP DOI BibTeX RDF	vannevar bush, hypertext, information overload, memex
10	Amos Beimel, Tamir Tassa, Enav Weinreb	Characterizing Ideal Weighted Threshold Secret Sharing.	TCC	2005	DBLP DOI BibTeX RDF
10	Paolo Ferragina, Fabrizio Luccio, Giovanni Manzini, S. Muthukrishnan 0001	Structuring labeled trees for optimal succinctness, and beyond.	FOCS	2005	DBLP DOI BibTeX RDF
10	Erik D. Demaine, Mohammad Taghi Hajiaghayi, Ken-ichi Kawarabayashi	Algorithmic Graph Minor Theory: Decomposition, Approximation, and Coloring.	FOCS	2005	DBLP DOI BibTeX RDF
10	David Galindo	Boneh-Franklin Identity Based Encryption Revisited.	ICALP	2005	DBLP DOI BibTeX RDF
10	Debora Donato, Stefano Leonardi 0001, Panayiotis Tsaparas	Stability and Similarity of Link Analysis Ranking Algorithms.	ICALP	2005	DBLP DOI BibTeX RDF
10	Yoshihito Toyama	Reduction Strategies for Left-Linear Term Rewriting Systems.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
10	Véronique Cortier, Bogdan Warinschi	Computationally Sound, Automated Proofs for Security Protocols.	ESOP	2005	DBLP DOI BibTeX RDF
10	Sandeep K. Shukla	Teaching Game Theory for Computer Engineering.	MSE	2005	DBLP DOI BibTeX RDF
10	Jin Hong 0001, Palash Sarkar 0001	New Applications of Time Memory Data Tradeoffs.	ASIACRYPT	2005	DBLP DOI BibTeX RDF	time memory data tradeoff
10	Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena	Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory.	ICTCS	2005	DBLP DOI BibTeX RDF
10	Carlo Zaniolo	Mining Databases and Data Streams with Query Languages and Rules.	KDID	2005	DBLP DOI BibTeX RDF
10	Arno Siebes	Data Mining in Inductive Databases.	KDID	2005	DBLP DOI BibTeX RDF
10	Jean-Raymond Abrial, Dominique Cansell, Dominique Méry	Refinement and Reachability in EventB.	ZB	2005	DBLP DOI BibTeX RDF	Refinement, Reachability, B Method, Stuttering
10	Ronald M. Baecker	Forty years of human-computer interaction and knowledge media design: twelve challenges to meet in fewer than the next forty years.	Graphics Interface	2005	DBLP BibTeX RDF	knowledge media design, human-computer interaction, computer-supported cooperative work, user interface design, design methodologies, evaluation methodologies, collaboration technologies
10	Markus Müller-Olm, Helmut Seidl	A Generic Framework for Interprocedural Analysis of Numerical Properties.	SAS	2005	DBLP DOI BibTeX RDF
10	Hans-Martin Gärtner, Jens Michaelis	A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars.	LACL	2005	DBLP DOI BibTeX RDF
10	John-Jules Ch. Meyer	Programming Cognitive Agents.	MATES	2005	DBLP DOI BibTeX RDF
10	Alan Shimoide, Ilmi Yoon, Megumi Fuse, Holly C. Beale, Rahul Singh	Automated Behavioral Phenotype Detection and Analysis Using Color-Based Motion Tracking.	CRV	2005	DBLP DOI BibTeX RDF	Automated Phenotyping, Color-based Tracking, Gene function elucidation, Deformable object tracking, Spatio-temporal pattern analysis, ecdysis
10	Daryl Parker, David Cleary	Building Richer JXTA Applications with Collaborative Spaces in a Peer-2-Peer Environment.	HICSS	2005	DBLP DOI BibTeX RDF
10	Fangguo Zhang, Willy Susilo, Yi Mu 0001, Xiaofeng Chen 0001	Identity-Based Universal Designated Verifier Signatures.	EUC Workshops	2005	DBLP DOI BibTeX RDF
10	Raphael Yuster	Fractional Decompositions of Dense Hypergraphs.	APPROX-RANDOM	2005	DBLP DOI BibTeX RDF
10	Carsten Schürmann, Jatin Shah	Identifying Polynomial-Time Recursive Functions.	CSL	2005	DBLP DOI BibTeX RDF
10	Peter Hachenberger, Lutz Kettner	Boolean operations on 3D selective Nef complexes: optimized implementation and experiments.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	boundary evaluation, exactness, nef polyhedra, unbounded polyhedra, algorithms, data structures, benchmark, robustness, experiments, completeness, CSG, non-manifold, B-rep
10	Sebti Foufou, Dominique Michelucci, Jean-Paul Jurzak	Numerical decomposition of geometric constraints.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	constraints decomposition and solving, geometry provers, geometric constraints
10	Sherman S. M. Chow, Willy Susilo	Generic Construction of (Identity-Based) Perfect Concurrent Signatures.	ICICS	2005	DBLP DOI BibTeX RDF	Perfect Ambiguity, Bilinear Pairing, Fair-Exchange, Ring Signatures, Identity-based Signatures, Concurrent Signatures
10	Martin Gairing, Burkhard Monien, Karsten Tiemann	Selfish routing with incomplete information.	SPAA	2005	DBLP DOI BibTeX RDF	coordination ratio, incomplete information, nash equilibria, selfish routing, bayesian game
10	Du Wei-feng, Li Hai-ming, Gao Yan, Meng Dan	Another kind of fuzzy rough sets.	GrC	2005	DBLP DOI BibTeX RDF
10	Amy Glasmeier	Geographic intersections of regional science: Reflections on Walter Isard's contributions to geography.	J. Geogr. Syst.	2004	DBLP DOI BibTeX RDF	Economic geography, regional analysis, spatial economics, industry
10	Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén	SAT-Solving the Coverability Problem for Petri Nets.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Petri nets, unfoldings, coverability, infinite state systems, partial-order methods
10	Anne Berry, Jean R. S. Blair, Pinar Heggernes, Barry W. Peyton	Maximum Cardinality Search for Computing Minimal Triangulations of Graphs.	Algorithmica	2004	DBLP DOI BibTeX RDF	Minimal triangulations, Minimal elimination ordering, Minimal fill, Chordal graphs
10	Henry Small	On the shoulders of Robert Merton: Towards a normative theory of citation.	Scientometrics	2004	DBLP DOI BibTeX RDF
10	Antonio Fernández-Cano, Manuel Torralbo, Mónica Vallejo	Reconsidering Price's model of scientific growth: An overview.	Scientometrics	2004	DBLP DOI BibTeX RDF
10	Patrick Th. Eugster, Rachid Guerraoui	Distributed Programming with Typed Events.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	Java, events, Distributed programming, publish-subscribe, type safety
10	Sergio Rajsbaum	ACM SIGACT news distributed computing column 15.	SIGACT News	2004	DBLP DOI BibTeX RDF
10	Martin Fränzle	Model-checking dense-time Duration Calculus.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Dense-time Duration Calculus, Model-checking, Decidability
10	Peter C.-H. Cheng	Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing.	Diagrams	2004	DBLP DOI BibTeX RDF
10	Markus Müller-Olm, Helmut Seidl	A Generic Framework for Interprocedural Analyses of Numerical Properties.	LPAR	2004	DBLP DOI BibTeX RDF
10	Luay Nakhleh, Tandy J. Warnow, C. Randal Linder	Reconstructing reticulate evolution in species: theory and practice.	RECOMB	2004	DBLP DOI BibTeX RDF	gene trees, subtree prune and regraft, phylogenetic networks
10	Robert M. Fuhrer, Frank Tip, Adam Kiezun	Advanced refactorings in eclipse.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	parametric types, software engineering, refactoring, type systems
10	Sebastian Bader 0001, Steffen Hölldobler, Alexandre Scalzitti	Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding.	KI	2004	DBLP DOI BibTeX RDF
10	Omer Reingold, Luca Trevisan, Salil P. Vadhan	Notions of Reducibility between Cryptographic Primitives.	TCC	2004	DBLP DOI BibTeX RDF
10	Daniele Micciancio, Oded Regev 0001	Worst-Case to Average-Case Reductions Based on Gaussian Measures.	FOCS	2004	DBLP DOI BibTeX RDF
10	Jérôme Besombes, Jean-Yves Marion	Learning Tree Languages from Positive Examples and Membership Queries.	ALT	2004	DBLP DOI BibTeX RDF
10	Gerald Lüttgen, Walter Vogler	Bisimulation on Speed: Lower Time Bounds.	FoSSaCS	2004	DBLP DOI BibTeX RDF
10	Erik D. Demaine, Mohammad Taghi Hajiaghayi, Dimitrios M. Thilikos	The Bidimensional Theory of Bounded-Genus Graphs.	MFCS	2004	DBLP DOI BibTeX RDF
10	Edmund Hon Chung Mak, Chi-Wai Fung, Qing Li 0001	Rich Media Retrieval in an Object XML Framework: A Case Study with Flash Movies Using Structural Join Index Hierarchy.	COMPSAC Workshops	2004	DBLP DOI BibTeX RDF
10	Hossam S. Hassanein, Jian Zhao	Supporting service differentiation through end-to-end QoS routing.	ISCC	2004	DBLP DOI BibTeX RDF
10	Juliana Fernandes Camapum, Alzenir O. Silva, Alan N. Freitas, Hansenclever de F. Bassani, Flávia Mendes O. Freitas	Segmentation of Clinical Structures from Images of the Human Pelvic Area.	SIBGRAPI	2004	DBLP DOI BibTeX RDF
10	Vasilis Friderikos, Lin Wang 0002, Mikio Iwamura, Hamid Aghvami	A Rate Adaptation Scheme for out of Profile Packets in a DiffServ Enabled CDMA Network.	HSNMC	2004	DBLP DOI BibTeX RDF
10	Håkan Englund, Martin Hell, Thomas Johansson 0001	Correlation Attacks Using a New Class of Weak Feedback Polynomials.	FSE	2004	DBLP DOI BibTeX RDF
10	Pierre A. Balthazard, Robert A. Cooke	Organizational Culture and Knowledge Management Success: Assessing The Behavior-Performance Continuum.	HICSS	2004	DBLP DOI BibTeX RDF
10	Gerth Stølting Brodal	Cache-Oblivious Algorithms and Data Structures.	SWAT	2004	DBLP DOI BibTeX RDF
10	Gilles Barthe, Amitabh Basu, Tamara Rezk	Security Types Preserving Compilation: (Extended Abstract).	VMCAI	2004	DBLP DOI BibTeX RDF
10	Sumit Ganguly	Estimating Frequency Moments of Data Streams Using Random Linear Combinations.	APPROX-RANDOM	2004	DBLP DOI BibTeX RDF
10	Ruimin Liu, Yangsheng Wang, Hongji Yang, Wei Pan	An Evolutionary System Development Approach in A Pervasive Computing Environment.	CW	2004	DBLP DOI BibTeX RDF
10	Dawn N. Jutla, E. Kevin Kelloway, Said Saifi	Evaluation of User Intervention Mechanisms for Privacy on SME Online Trust.	CEC	2004	DBLP DOI BibTeX RDF
10	Willy Susilo, Yi Mu 0001, Fangguo Zhang	Perfect Concurrent Signature Schemes.	ICICS	2004	DBLP DOI BibTeX RDF
10	Xiaozhou Li 0001, C. Greg Plaxton, Mitul Tiwari, Arun Venkataramani	Online hierarchical cooperative caching.	SPAA	2004	DBLP DOI BibTeX RDF	hierarchical cooperative caching, online computation
10	Lech Polkowski	A Survey of Recent Results on Spatial Reasoning via Rough Inclusions.	IMTCI	2004	DBLP DOI BibTeX RDF
10	Thomas O. Binford, Tod S. Levitt	Evidential Reasoning for Object Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	utility-based control, object recognition, Bayesian networks, Bayesian inference, Evidential reasoning, computer vision systems
10	Uri M. Ascher, Eddy Boxerman	On the modified conjugate gradient method in cloth simulation.	Vis. Comput.	2003	DBLP DOI BibTeX RDF	Implicit time stepping, Constraints, Cloth simulation, Conjugate gradients, Orthogonal projection
10	Mohammad R. Salavatipour	A (1+epsilon)-approximation algorithm for partitioning hypergraphs using a new algorithmic version of the Lovász Local Lemma.	SODA	2003	DBLP BibTeX RDF
10	Katherine Barabash, Yoav Ossia, Erez Petrank	Mostly concurrent garbage collection revisited.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, garbage collection, JVM, concurrent garbage collection, incremental garbage collection
10	Malcolm A. Sabin, Aurelian Bejancu	Boundary Conditions for the 3-Direction Box-Spline.	IMA Conference on the Mathematics of Surfaces	2003	DBLP DOI BibTeX RDF
10	Artur Czumaj, Wojciech Rytter	Broadcasting Algorithms in Radio Networks with Unknown Topology.	FOCS	2003	DBLP DOI BibTeX RDF
10	Miguel Granados, Peter Hachenberger, Susan Hert, Lutz Kettner, Kurt Mehlhorn, Michael Seel	Boolean Operations on 3D Selective Nef Complexes: Data Structure, Algorithms, and Implementation.	ESA	2003	DBLP DOI BibTeX RDF
10	Erik D. Demaine, Fedor V. Fomin, Mohammad Taghi Hajiaghayi, Dimitrios M. Thilikos	Fixed-Parameter Algorithms for the (k, r)-Center in Planar Graphs and Map Graphs.	ICALP	2003	DBLP DOI BibTeX RDF
10	Eduardo Bonelli	A Normalisation Result for Higher-Order Calculi with Explicit Substitutions.	FoSSaCS	2003	DBLP DOI BibTeX RDF
10	Jacques Stern	Cryptography and the Methodology of Provable Security.	AAECC	2003	DBLP DOI BibTeX RDF
10	Giancarlo Mauri, Alberto Leporati	On the Computational Complexity of Conservative Computing.	MFCS	2003	DBLP DOI BibTeX RDF
10	Vincent Conitzer, Jérôme Lang, Tuomas Sandholm	How many candidates are needed to make elections hard to manipulate?	TARK	2003	DBLP DOI BibTeX RDF
10	Frank S. de Boer, Cees Pierik	How to Cook a Complete Hoare Logic for Your Pet OO Language.	FMCO	2003	DBLP DOI BibTeX RDF
10	Dragos Arotaritei, Mircea Gh. Negoita	An Optimization of Data Mining Algorithms Used in Fuzzy Association Rules.	KES	2003	DBLP DOI BibTeX RDF
10	Aggelos Kiayias, Moti Yung	Extracting Group Signatures from Traitor Tracing Schemes.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
10	Angel Fernando Kuri Morales	Efficient Compression from Non-ergodic Sources with Genetic Algorithms.	ENC	2003	DBLP DOI BibTeX RDF
10	Peeter Laud, Ricardo Corin	Sound Computational Interpretation of Formal Encryption with Composed Keys.	ICISC	2003	DBLP DOI BibTeX RDF
10	Jef Wijsen	Condensed Representation of Database Repairs for Consistent Query Answering.	ICDT	2003	DBLP BibTeX RDF
10	Tuomas Sandholm	Automated Mechanism Design: A New Application Area for Search Algorithms.	CP	2003	DBLP DOI BibTeX RDF
10	Adam Kalai, Santosh S. Vempala	Efficient Algorithms for Online Decision Problems.	COLT	2003	DBLP DOI BibTeX RDF
10	David Corne, Joshua D. Knowles	No Free Lunch and Free Leftovers Theorems for Multiobjective Optimisation Problems.	EMO	2003	DBLP DOI BibTeX RDF
10	Yossi Azar, Edith Cohen, Amos Fiat, Haim Kaplan, Harald Räcke	Optimal oblivious routing in polynomial time.	STOC	2003	DBLP DOI BibTeX RDF	ellipsoid algorithm, oblivious routing
10	Stuart R. Faulk, Lawrence G. Votta	SE Pioneers Symposium.	ICSE	2003	DBLP DOI BibTeX RDF
10	Marko Samer, Helmut Veith	Validity of CTL Queries Revisited.	CSL	2003	DBLP DOI BibTeX RDF
10	Hyun Chul Lee, Allan Borodin	Perturbation of the Hyper-Linked Environment.	COCOON	2003	DBLP DOI BibTeX RDF
10	Nizami Cummins	Integrating E-Commerce and Games.	Pers. Ubiquitous Comput.	2002	DBLP DOI BibTeX RDF	Simulation, Context awareness, E-commerce, Interaction design, Games, Narrative, User, Brand, Agency, e-CRM
10	James W. Cortada	Researching the History of Software from the 1960s.	IEEE Ann. Hist. Comput.	2002	DBLP DOI BibTeX RDF
10	Amir M. Ben-Amram, Zvi Galil	Lower Bounds for Dynamic Data Structures on Algebraic RAMs.	Algorithmica	2002	DBLP DOI BibTeX RDF	Cell-probe lower bounds, Dynamic prefix sum, Union-find, Random access machine
10	Koji Nakano, Stephan Olariu	Uniform Leader Election Protocols for Radio Networks.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	distributed systems, wireless communications, communication protocols, leader election, Radio networks
10	Mitra Purandare, Fabio Somenzi	Vacuum Cleaning CTL Formulae.	CAV	2002	DBLP DOI BibTeX RDF
10	Dariusz R. Kowalski, Andrzej Pelc	Deterministic Broadcasting Time in Radio Networks of Unknown Topology.	FOCS	2002	DBLP DOI BibTeX RDF
10	Stefania Costantini	Meta-reasoning: A Survey.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
10	Alberto Pettorossi, Maurizio Proietti	Program Derivation = Rules + Strategies.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
10	Hongsuda Tangmunarunkit, Ramesh Govindan, Sugih Jamin, Scott Shenker, Walter Willinger	Network topology generators: degree-based vs. structural.	SIGCOMM	2002	DBLP DOI BibTeX RDF	degree-based generators, large-scale structure, structural generators, topology characterization, topology metrics, network topology, hierarchy, topology generators
10	Anne Berry, Jean R. S. Blair, Pinar Heggernes	Maximum Cardinality Search for Computing Minimal Triangulations.	WG	2002	DBLP DOI BibTeX RDF
10	K. Chandra Sekharaiah, D. Janaki Ram	The Dynamics of Language Understanding.	Language Engineering Conference	2002	DBLP DOI BibTeX RDF	Natural Language Understanding (NLU), Natural Language Processor (NLP), Linguistic Schizophrenia