Search results for "seminal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	George Christodoulou 0001, Elias Koutsoupias, Angelina Vidali	A Lower Bound for Scheduling Mechanisms.	Algorithmica	2009	DBLP DOI BibTeX RDF	Scheduling unrelated machines, Lower bound, Algorithmic mechanism design
10	Malhar Kulkarni, Chaitali Dangarikar	Web Concordance of the Prakirna-Prakasa of Helaraja on the Jatisamuddesa (3.1) of Vakyapadiya.	Sanskrit Computational Linguistics	2009	DBLP DOI BibTeX RDF	Web concordance, KWIC Index, Sanskrit Grammar, Prak?r?a-Prak??a, J?tisamuddesá, V?kyapad?ya, Bhart?hari (450 AD), Hel?r?ja (980 A.D.)
10	Petr A. Golovach, Pinar Heggernes, Dieter Kratsch, Daniel Lokshtanov, Daniel Meister 0001, Saket Saurabh 0001	Bandwidth on AT-Free Graphs.	ISAAC	2009	DBLP DOI BibTeX RDF
10	Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Corentin Travers	Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement.	ISAAC	2009	DBLP DOI BibTeX RDF
10	Victor Muntés-Mulero, Jordi Nin	Privacy and anonymization for very large datasets.	CIKM	2009	DBLP DOI BibTeX RDF	efficient privacy-enhancing technologies, efficient statistical disclosure control, privacy preserving data mining for large data sets
10	Ralf Küsters, Max Tuengerthal	Computational soundness for key exchange protocols with symmetric encryption.	CCS	2009	DBLP DOI BibTeX RDF	simulation-based security, cryptographic protocols, computational soundness
10	Ken-ichi Kawarabayashi, Erik D. Demaine, MohammadTaghi Hajiaghayi	Additive approximation algorithms for list-coloring minor-closed class of graphs.	SODA	2009	DBLP DOI BibTeX RDF
10	Michael J. Bommarito II, Daniel Martin Katz, Jon Zelner	Law as a seamless web?: comparison of various network representations of the United States Supreme Court corpus (1791-2005).	ICAIL	2009	DBLP DOI BibTeX RDF
10	Ravikiran B. Singapogu, Christopher C. Pagano, Timothy C. Burg	Perceiving the lengths of real and virtual objects using kinesthetic touch.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	learning, haptics, multimodal interaction, virtual objects
10	Emiliano Pérez, Andres Fortier, Gustavo Rossi, Silvia E. Gordillo	Rethinking Context Models.	OTM Workshops	2009	DBLP DOI BibTeX RDF	software architectures, Context-awareness, pervasive computing, context modelling
10	Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison.	DISC	2009	DBLP DOI BibTeX RDF
10	Olaf Beyersdorff, Sebastian Müller 0003	Does Advice Help to Prove Propositional Tautologies?	SAT	2009	DBLP DOI BibTeX RDF
10	Itai Ashlagi, Shahar Dobzinski, Ron Lavi	An optimal lower bound for anonymous scheduling mechanisms.	EC	2009	DBLP DOI BibTeX RDF	scheduling, incentive compatibility
10	Frithjof Dau	The Advent of Formal Diagrammatic Reasoning Systems.	ICFCA	2009	DBLP DOI BibTeX RDF
10	Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg	Partial synchrony based on set timeliness.	PODC	2009	DBLP DOI BibTeX RDF	bivalency, algorithms, consensus, failure detectors, timeliness, partial synchrony, set agreement, impossibility
10	Andrew Berns, Anurag Dasgupta, Sukumar Ghosh	Brief announcement: optimal self-stabilizing multi-token ring: a randomized solution.	PODC	2009	DBLP DOI BibTeX RDF	multi-token ring, self-stabilization
10	Zarko Milosevic 0001, Martin Hutle, André Schiper	Unifying Byzantine Consensus Algorithms with Weak Interactive Consistency.	OPODIS	2009	DBLP DOI BibTeX RDF
10	Robin Meier, Ali Momeni	Truce: strategies for post-apocalyptic computation.	SIGGRAPH ASIA Art Gallery & Emerging Technologies	2009	DBLP DOI BibTeX RDF
10	Max I. Kanovich	Light Linear Logic with Controlled Weakening.	LFCS	2009	DBLP DOI BibTeX RDF
10	Markus Rohde, Gunnar Stevens, Peter Brödner, Volker Wulf	Towards a paradigmatic shift in IS: designing for social practice.	DESRIST	2009	DBLP DOI BibTeX RDF	design probes, social relevance, theories of practice, ontology, information systems, methodology, action research, epistemology, design science
10	Rainer Böhme	An Epistemological Approach to Steganography.	Information Hiding	2009	DBLP DOI BibTeX RDF
10	Christian Bachmaier, Franz-Josef Brandenburg, Wolfgang Brunner, Raymund Fülöp	Coordinate Assignment for Cyclic Level Graphs.	COCOON	2009	DBLP DOI BibTeX RDF
10	Davide Grossi	Unifying preference and judgment aggregation.	AAMAS (1)	2009	DBLP BibTeX RDF	collective decision-making, many-valued logic, preference aggregation, judgment aggregation, social-choice theory
10	Markus Schweighofer	Describing convex semialgebraic sets by linear matrix inequalities.	ISSAC	2009	DBLP DOI BibTeX RDF	determinantal representation, moment relaxation, polynomial inequality, quadratic module, semialgebraic set, spectrahedron, semidefinite programming, linear matrix inequality, convex set, sums of squares, preordering
10	Li Bin Jiang, Soung Chang Liew	Improving Throughput and Fairness by Reducing Exposed and Hidden Nodes in 802.11 Networks.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF	Hidden Node problem, Exposed Node Problem, Performance Evaluation, Algorithms, Protocol, IEEE 802.11, Mathematical Modeling
10	Ran Raz, Amir Yehudayoff	Balancing Syntactically Multilinear Arithmetic Circuits.	Comput. Complex.	2008	DBLP DOI BibTeX RDF	Subject classification, 68W30
10	László A. Végh, András A. Benczúr	Primal-dual approach for directed vertex connectivity augmentation and generalizations.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	Vertex connectivity augmentation, combinatorial algorithm
10	Roland T. Mittermeir	A Seminar Looking for Traces of History.	IEEE Ann. Hist. Comput.	2008	DBLP DOI BibTeX RDF
10	María Isabel González Vasco, Jorge Luis Villar	In search of mathematical primitives for deriving universal projective hash families.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Projective hash families, Provable security, Public key encryption
10	Markus Püschel, Martin Rötteler	Algebraic signal processing theory: Cooley-Tukey type algorithms on the 2-D hexagonal spatial lattice.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF
10	Mark Crovella, Christophe Diot	Ranking of ACM SIGCOMM computer communication review.	Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF
10	David E. Losada, Leif Azzopardi	Assessing multivariate Bernoulli models for information retrieval.	ACM Trans. Inf. Syst.	2008	DBLP DOI BibTeX RDF	multinomial, multivariate Bernoulli, Information retrieval, language models
10	Martin Gairing, Burkhard Monien, Karsten Tiemann	Selfish Routing with Incomplete Information.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Bayesian Nash equilibria, Coordination ratio, Incomplete information, Selfish routing
10	Luis Garcia Ordóñez, Alba Pagès-Zamora, Javier Rodríguez Fonollosa	Diversity and Multiplexing Tradeoff of Spatial Multiplexing MIMO Systems With CSI.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
10	Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon	McMillan's Complete Prefix for Contextual Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	read arcs, complete finite prefix, verification, Petri nets, unfolding
10	Markus C. Huebscher, Julie A. McCann	A survey of autonomic computing - degrees, models, and applications.	ACM Comput. Surv.	2008	DBLP DOI BibTeX RDF	Autonomic computing, self-adaptive, self-healing systems
10	Yonina C. Eldar	Universal Weighted MSE Improvement of the Least-Squares Estimator.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
10	Dilma Da Silva, Robert W. Wisniewski	Introduction.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
10	Bryan Cantrill	A Pioneer's Flash of Insight.	ACM Queue	2008	DBLP DOI BibTeX RDF
10	Kaidi D. Huang, Ken R. Duffy, David Malone, Douglas J. Leith	Investigating the validity of IEEE 802.11 MAC modeling hypotheses.	PIMRC	2008	DBLP DOI BibTeX RDF
10	Yvonne Bleischwitz, Florian Schoppmann	Group-Strategyproof Cost Sharing for Metric Fault Tolerant Facility Location.	SAGT	2008	DBLP DOI BibTeX RDF
10	Bernadette Bouchon-Meunier, Maria Rifqi, Marie-Jeanne Lesot	Similarities in Fuzzy Data Mining: From a Cognitive View to Real-World Applications.	WCCI	2008	DBLP DOI BibTeX RDF	data mining, prototype, fuzzy sets, similarity, categorization
10	Jens Jägersküpper	A Blend of Markov-Chain and Drift Analysis.	PPSN	2008	DBLP DOI BibTeX RDF
10	Yongpei Guan, Andrew Miller	A Polynomial Time Algorithm for the Stochastic Uncapacitated Lot-Sizing Problem with Backlogging.	IPCO	2008	DBLP DOI BibTeX RDF
10	Ken-ichi Kawarabayashi	An Improved Algorithm for Finding Cycles Through Elements.	IPCO	2008	DBLP DOI BibTeX RDF
10	Nir Ailon, Edo Liberty	Fast dimension reduction using Rademacher series on dual BCH codes.	SODA	2008	DBLP BibTeX RDF
10	Amit Chakrabarti, T. S. Jayram, Mihai Patrascu	Tight lower bounds for selection in randomly ordered streams.	SODA	2008	DBLP BibTeX RDF
10	Yvo Desmedt, Brian King, Berry Schoenmakers	Revisiting the Karnin, Greene and Hellman Bounds.	ICITS	2008	DBLP DOI BibTeX RDF
10	Paolo Baldan, Fabio Gadducci	Petri Nets Are Dioids.	AMAST	2008	DBLP DOI BibTeX RDF
10	Richard Nock, Frank Nielsen	Intrinsic Geometries in Learning.	ETVC	2008	DBLP DOI BibTeX RDF
10	Raphael Yuster	Matrix Sparsification for Rank and Determinant Computations via Nested Dissection.	FOCS	2008	DBLP DOI BibTeX RDF
10	Chen Chen 0002, Haige Xiang	The Throughput Order of Ad Hoc Networks with Physical-Layer Network Coding and Analog Network Coding.	ICC	2008	DBLP DOI BibTeX RDF
10	Holger Peine	Rules of Thumb for Developing Secure Software: Analyzing and Consolidating Two Proposed Sets of Rules.	ARES	2008	DBLP DOI BibTeX RDF	security, software design, design principles, design rules
10	Surender Baswana, Akshay Gaur, Sandeep Sen, Jayant Upadhyay	Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error.	ICALP (1)	2008	DBLP DOI BibTeX RDF
10	Ken-ichi Kawarabayashi	Approximating List-Coloring on a Fixed Surface.	ICALP (1)	2008	DBLP DOI BibTeX RDF
10	Mihailo Stojnic, Weiyu Xu, Babak Hassibi	Compressed sensing - probabilistic analysis of a null-space characterization.	ICASSP	2008	DBLP DOI BibTeX RDF
10	Debora E. Lipson, John S. Murnane, Anne McDougall	Gearing up for Robotics.	Learning to Live in the Knowledge Society	2008	DBLP DOI BibTeX RDF
10	Minghua Chen 0001, Miroslav Ponec, Sudipta Sengupta, Jin Li 0001, Philip A. Chou	Utility maximization in peer-to-peer systems.	SIGMETRICS	2008	DBLP DOI BibTeX RDF	multi-party video conferencing, peer-to-peer, multicast, streaming, content distribution, utility maximization
10	David Pearce 0001	Sixty Years of Stable Models.	ICLP	2008	DBLP DOI BibTeX RDF
10	Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi	Towards a Type Discipline for Answer Set Programming.	TYPES	2008	DBLP DOI BibTeX RDF	many sorted interpretation, type checking, Answer set programming, grounding
10	Florian Dittmann 0001, Stefan Frank, Simon Oberthür	Algorithmic skeletons for the design of partially reconfigurable systems.	IPDPS	2008	DBLP DOI BibTeX RDF
10	Erik Meijer 0001	Fundamentalist functional programming.	GPCE	2008	DBLP DOI BibTeX RDF	pure functional programming, concurrency, monads, lazy evaluation, linq
10	Peter C. Wright, John C. McCarthy	Empathy and experience in HCI.	CHI	2008	DBLP DOI BibTeX RDF	experience-centred design, user experience, design methods, empathy, qualitative methods
10	Gilbert Cockton	Revisiting usability's three key principles.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	software development principles, evaluation, design, usability, user studies
10	Ayesha Binte Ashfaq, Maria Joseph Robert, Asma Mumtaz, Muhammad Qasim Ali, Ali Sajjad, Syed Ali Khayam	A Comparative Evaluation of Anomaly Detectors under Portscan Attacks.	RAID	2008	DBLP DOI BibTeX RDF
10	Srikanth Jagabathula, Vishal Doshi, Devavrat Shah	Fair Scheduling through Packet Election.	INFOCOM	2008	DBLP DOI BibTeX RDF
10	Christian Bachmaier, Franz-Josef Brandenburg, Wolfgang Brunner, Gergö Lovász	Cyclic Leveling of Directed Graphs.	GD	2008	DBLP DOI BibTeX RDF
10	Martin De Wulf, Laurent Doyen 0001, Nicolas Maquet, Jean-François Raskin	Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking.	TACAS	2008	DBLP DOI BibTeX RDF
10	Georgia Leigh McGregor	Terra ludus, terra paidia, terra prefab: spatialization of play in videogames & virtual worlds.	IE	2008	DBLP DOI BibTeX RDF	ludus, paidia, virtual worlds, play, space, videogames
10	Chi Zhang 0001, Pan Li 0001, Yuguang Fang, Pramod P. Khargonekar	Decentralized Routing in Nonhomogeneous Poisson Networks.	ICDCS	2008	DBLP DOI BibTeX RDF
10	Emmanuelle Lebhar, Nicolas Schabanel	Graph Augmentation via Metric Embedding.	OPODIS	2008	DBLP DOI BibTeX RDF	Small world, metrics embedding, greedy routing
10	Vijay V. Vazirani	Nash Bargaining Via Flexible Budget Markets.	SWAT	2008	DBLP DOI BibTeX RDF
10	Chien Chin Chen, Meng Chang Chen	TSCAN: a novel method for topic summarization and content anatomy.	SIGIR	2008	DBLP DOI BibTeX RDF	temporal text mining., topic anatomy. topic summarization
10	Isamu Teranishi, Wakaha Ogata	Cramer-Shoup Satisfies a Stronger Plaintext Awareness under a Weaker Assumption.	SCN	2008	DBLP DOI BibTeX RDF	Statistical Plaintext Awareness, Cramer-Shoup Scheme, Standard Model
10	Maren Martens, Martin Skutella	Flows with Unit Path Capacities and Related Packing and Covering Problems.	COCOA	2008	DBLP DOI BibTeX RDF
10	Ken-ichi Kawarabayashi, Bojan Mohar	Graph and map isomorphism and all polyhedral embeddings in linear time.	STOC	2008	DBLP DOI BibTeX RDF	map isomorphism, graph isomorphism, linear time algorithm
10	Xavier Parent	On the Strong Completeness of Åqvist's Dyadic Deontic Logic G.	DEON	2008	DBLP DOI BibTeX RDF	Conditional obligation, preference-based semantics, DSDL3, strong completeness
10	Alexis Saurin	On the Relations between the Syntactic Theories of lambda-mu-Calculi.	CSL	2008	DBLP DOI BibTeX RDF	Classical ?-calculi, ??-calculi, Streams, Type Systems, Confluence, Strong Normalization
10	Martin Fürer	Solving NP-Complete Problems with Quantum Search.	LATIN	2008	DBLP DOI BibTeX RDF
10	Zeev Nutov	Approximating Steiner Networks with Node Weights.	LATIN	2008	DBLP DOI BibTeX RDF
10	Leopoldina Fortunati	Theories without Heart.	COST 2102 Conference (Prague)	2008	DBLP DOI BibTeX RDF	Domestication theory, body-to-body communication, emotion, infrastructure, information and communication technologies, mediated communication, body
10	Steve Counsell	Is the need to follow chains a possible deterrent to certain refactorings and an inducement to others?	RCIS	2008	DBLP DOI BibTeX RDF
10	Alan Bundy	Automating Signature Evolution in Logical Theories.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
10	Vijay V. Vazirani	Nash Bargaining Via Flexible Budget Markets.	AAIM	2008	DBLP DOI BibTeX RDF
10	Saeed Sedghi, Jeroen Doumen, Pieter H. Hartel, Willem Jonker	Towards an Information Theoretic Analysis of Searchable Encryption.	ICICS	2008	DBLP DOI BibTeX RDF
10	Minghua Chen 0001, Sudipta Sengupta, Miroslav Ponec, Philip A. Chou, Jin Li 0001	Peer-to-Peer utility maximization.	CISS	2008	DBLP DOI BibTeX RDF
10	Ruairí de Fréin, Konstantinos Drakakis, Scott T. Rickard	Portfolio diversification using subspace factorizations.	CISS	2008	DBLP DOI BibTeX RDF
10	Erik D. Demaine	Algorithmic Graph Minors and Bidimensionality.	IWPEC	2008	DBLP DOI BibTeX RDF
10	Robert I. Davis 0001, Alan Burns 0001, Reinder J. Bril, Johan J. Lukkien	Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Non-pre-emptive scheduling, Priority assignment policies, Schedulability analysis, Fixed priority scheduling, Controller Area Network (CAN), Response time analysis
10	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Decision procedures for extensions of the theory of arrays.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03B25, 03B70, 68T15
10	José M. Pardo, Xavier Anguera, Chuck Wooters	Speaker Diarization For Multiple-Distant-Microphone Meetings Using Several Sources of Information.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Speech source separation, meetings recognition, rich transcription, speaker segmentation, speaker diarization
10	C. Dianne Martin	Leadership, teamwork, and ethics in the development of IT professionals.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF
10	Chunsheng Liu, Dominic Grenier, Anne-Laure Jousselme, Éloi Bossé	Reducing Algorithm Complexity for Computing an Aggregate Uncertainty Measure.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
10	Nikhil Bansal 0001, Tracy Kimbrel, Kirk Pruhs	Speed scaling to manage energy and temperature.	J. ACM	2007	DBLP DOI BibTeX RDF	power management, voltage scaling, Speed scaling
10	Vincent Conitzer, Tuomas Sandholm, Jérôme Lang	When are elections with few candidates hard to manipulate?.	J. ACM	2007	DBLP DOI BibTeX RDF	hardness of manipulation, voting, Computational social choice
10	Jaroslaw Stepaniuk	Approximation Spaces in Multi Relational Knowledge Discovery.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF	uncertainty function, rough sets, approximation spaces, rough inclusion, multi-relational data mining
10	Manuel Krauskopf, Erwin Krauskopf, Bernardita Méndez	Low awareness of the link between science and innovation affects public policies in developing countries: The Chilean case.	Scientometrics	2007	DBLP DOI BibTeX RDF
10	Cássio B. Ribeiro, Esa Ollila, Visa Koivunen	Stochastic Maximum-Likelihood Method for MIMO Propagation Parameter Estimation.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
10	Flavio Junqueira, Vassilis Plachouras, Fabrizio Silvestri, Ivana Podnar	Workshop on large-scale distributed systems for information retrieval.	SIGIR Forum	2007	DBLP DOI BibTeX RDF
10	Yinian Mao, Min Wu 0001	Unicity Distance of Robust Image Hashing.	IEEE Trans. Inf. Forensics Secur.	2007	DBLP DOI BibTeX RDF