Search results for "Lists"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Evgeny Dantsin, Andrei Voronkov	Expressive Power and Data Complexity of Query Languages for Trees and Lists.	PODS	2000	DBLP DOI BibTeX RDF	trees, expressive power, lists, data complexity, term algebras
68	Wijnand Schepens	A framework for complex time structures based on coupled lists.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	aligned lists, coupled lists, inspector, ordered timed sequence, parallel iteration, proceeder, sequence algorithm, framework, music, iterator, music notation
64	Werner Geyer, Casey Dugan, Joan Morris DiMicco, David R. Millen, Beth Brownholtz, Michael J. Muller	Use and reuse of shared lists as a social content type.	CHI	2008	DBLP DOI BibTeX RDF	shared lists, collaboration, social networking, reuse, memes
64	Agostino Dovier, Carla Piazza, Gianfranco Rossi	A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Membership and equality constraints, compact lists, sets, lists, multisets
60	Thomas R. Hancock, Tao Jiang 0001, Ming Li 0001, John Tromp	Lower Bounds on Learning Decision Lists and Trees (Extended Abstract).	STACS	1995	DBLP DOI BibTeX RDF
60	Zhong Shao, John H. Reppy, Andrew W. Appel	Unrolling Lists.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
56	Abdelrahman Amer, B. John Oommen	Lists on Lists: A Framework for Self-organizing Lists in Environments with Locality of Reference.	WEA	2006	DBLP DOI BibTeX RDF
53	Michael H. Goldwasser, David Letscher	Teaching strategies for reinforcing structural recursion with lists.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	active learning, recursion, role-playing, lists
53	Shuvendu K. Lahiri, Shaz Qadeer	Verifying properties of well-founded linked lists.	POPL	2006	DBLP DOI BibTeX RDF	first-order axiomatization, heap abstraction, well-founded linked lists, decision procedure, automated theorem proving
53	Jaeyeon Jung, Emil Sit	An empirical study of spam traffic and the use of DNS black lists.	Internet Measurement Conference	2004	DBLP DOI BibTeX RDF	DNS black lists, spam traffic, Zipf-like distribution
51	Krzysztof Diks, Andrzej Pelc	Broadcasting with universal lists.	HICSS (2)	1995	DBLP DOI BibTeX RDF	broadcasting time, universal lists, source node, source message, transmission lists, ordered list, schedule communication, optimal broadcasting schemes, grids, graph theory, broadcasting, trees, communication network, rings, telecommunication networks, local memory, list processing, neighbors
48	Klaus U. Schulz	On Existential Theories of List Concatenation.	CSL	1994	DBLP DOI BibTeX RDF
47	Jaime Teevan	How people recall search result lists.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	personalization, search, memory, user profiling, implicit feedback, lists, re-finding, dynamic information
47	Kaouthar Blibech, Alban Gabillon	CHRONOS: an authenticated dictionary based on skip lists for timestamping systems.	SWS	2005	DBLP DOI BibTeX RDF	order of insertion, timestamping systems, skip lists, authenticated dictionaries
44	Prasad Naldurg, Roy H. Campbell	Dynamic access control: preserving safety and trust for network defense operations.	SACMAT	2003	DBLP DOI BibTeX RDF	access lists, capability lists, trust, safety, comparison, dynamic access control
43	Maryam Khezrzadeh, Alex Thomo, William W. Wadge	Harnessing the power of "favorites" lists for recommendation systems.	RecSys	2009	DBLP DOI BibTeX RDF	bayesian rating, recommender systems, collaborative filtering, association analysis
43	Matthias Krause 0001	On the computational power of Boolean decision lists.	Comput. Complex.	2006	DBLP DOI BibTeX RDF	94C05, Subject classification. 68Q15, 06E30, 94C10
43	Cai-Nicolas Ziegler, Sean M. McNee, Joseph A. Konstan, Georg Lausen	Improving recommendation lists through topic diversification.	WWW	2005	DBLP DOI BibTeX RDF	recommender systems, metrics, collaborative filtering, accuracy, diversification
43	Adam R. Klivans, Rocco A. Servedio	Toward Attribute Efficient Learning of Decision Lists and Parities.	COLT	2004	DBLP DOI BibTeX RDF
43	Matthias Krause 0001	On the Computational Power of Boolean Decision Lists.	STACS	2002	DBLP DOI BibTeX RDF	Boolean Complexity Theory, Lower Bounds, Learnability
41	Jhilmil Jain, Riddhiman Ghosh, Mohamed Dekhil	Multimodal Shopping Lists.	HCI (2)	2009	DBLP DOI BibTeX RDF	shopping lists, mobile, web, video, images, audio, text
41	Himanshu Khurana, Hyung-Seok Hahm	Certified mailing lists.	AsiaCCS	2006	DBLP DOI BibTeX RDF	certified delivery, mailing lists
41	Amitabha Bagchi, Adam L. Buchsbaum, Michael T. Goodrich	Biased Skip Lists.	Algorithmica	2005	DBLP DOI BibTeX RDF	Biased dictionaries, Searching, Skip lists
39	Pedro Gonnet	Pairwise verlet lists: Combining cell lists and verlet lists to improve memory locality and parallelism.	J. Comput. Chem.	2012	DBLP DOI BibTeX RDF
39	Abdelrahman Amer, B. John Oommen	A Novel Framework for Self-Organizing Lists in Environments with Locality of Reference: Lists-on-Lists.	Comput. J.	2007	DBLP DOI BibTeX RDF
38	Mikhail Fomitchev, Eric Ruppert	Lock-free linked lists and skip lists.	PODC	2004	DBLP DOI BibTeX RDF	fault-tolerant, distributed, efficient, analysis, lock-free, linked list, skip list, amortized analysis
37	Li-Pin Chang, Chen-Hui Hsu	Soft lists: a native index structure for NOR-flash-based embedded devices.	ASP-DAC	2009	DBLP DOI BibTeX RDF
37	Haruto Tanno, Hideya Iwasaki	Parallel Skeletons for Variable-Length Lists in SkeTo Skeleton Library.	Euro-Par	2009	DBLP DOI BibTeX RDF
37	Stefan Büttcher, Charles L. A. Clarke	Hybrid index maintenance for contiguous inverted lists.	Inf. Retr.	2008	DBLP DOI BibTeX RDF	Index maintenance, Search engines, Text retrieval
37	Nilesh Bansal, Sudipto Guha, Nick Koudas	Ad-hoc aggregations of ranked lists in the presence of hierarchies.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	list aggregation, top-k
37	Kweon Yang Kim, Byong Gul Lee, Dong Kwon Hong	A Supervised Korean Verb Sense Disambiguation Algorithm Based on Decision Lists of Syntactic Features.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
37	Ismed Hartanto, Srikanth Venkataraman, W. Kent Fuchs, Elizabeth M. Rudnick, Janak H. Patel, Sreejit Chakravarty	Diagnostic simulation of stuck-at faults in sequential circuits using compact lists.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF	stuck-at fault diagnosis, Fault simulation
37	Claus-Rainer Rollinger	SPOCK: A Feasibility Study on the Completeness of Part Lists.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
37	Takayuki Itoh, Koji Koyamada	Automatic Isosurface Propagation Using an Extrema Graph and Sorted Boundary Cell Lists.	IEEE Trans. Vis. Comput. Graph.	1995	DBLP DOI BibTeX RDF	extremum points, Isosurface, boundary, propagation
36	Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi	The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer.	POPL	2009	DBLP DOI BibTeX RDF	huet's zippers, polynomial data structures, the third homomorphism theorem, divide-and-conquer
36	Ravi Kumar 0001, Kunal Punera, Torsten Suel, Sergei Vassilvitskii	Top-k aggregation using intersections of ranked inputs.	WSDM	2009	DBLP DOI BibTeX RDF	NRA, TA, intersections, early-termination
36	Vijayshankar Raman, Lin Qiao, Wei Han, Inderpal Narang, Ying-Lin Chen, Kou-Horng Yang, Fen-Ling Ling	Lazy, adaptive rid-list intersection, and its application to index anding.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	AND tree, star join, sorting, intersection, lazy
35	Dinh Anh Nguyen, Koichiro Doi, Akihiro Yamamoto	Discovering the Structures of Open Source Programs from Their Developer Mailing Lists.	Discovery Science	2009	DBLP DOI BibTeX RDF	open source programs, extraction of structures, concept lattice, mailing lists
35	Yolanda Gil, Varun Ratnakar	Towards intelligent assistance for to-do lists.	IUI	2008	DBLP DOI BibTeX RDF	knowledge collection from web volunteers, natural language interpretation, office assistants, user interfaces, knowledge acquisition, automated assistance, to-do lists
35	Moritz Stefaner, Thomas Urban, Marc Seefelder	Elastic Lists for Facet Browsing and Resource Analysis in the Enterprise.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	elastic lists, visualization, user interface design, information management, enterprise, Facet browsing, eyetracking
35	Helena Rifà-Pous, Jordi Herrera-Joancomartí	An Interdomain PKI Model Based on Trust Lists.	EuroPKI	2007	DBLP DOI BibTeX RDF	trust lists, reliability in PKI, certificate extension, interoperability
35	Gerth Stølting Brodal, Christos Makris, Kostas Tsichlas	Purely Functional Worst Case Constant Time Catenable Sorted Lists.	ESA	2006	DBLP DOI BibTeX RDF	sorted lists, purely functional programming, data structures
35	Artur Miguel Dias	Moving from mailing lists to web-based discussion forums.	ITiCSE	2005	DBLP DOI BibTeX RDF	web-based discussion forums, mailing lists
34	Yohannes Tsegay, Andrew Turpin, Justin Zobel	Dynamic index pruning for effective caching.	CIKM	2007	DBLP DOI BibTeX RDF	inverted lists, caching, search engines, efficiency
34	André L. M. dos Santos, Richard A. Kemmerer	Implementing Security Policies using the Safe Areas of Computation Approach.	ACSAC	2000	DBLP DOI BibTeX RDF	Safe Areas of Computation approach, business costs, SAC approach, Internet, Internet, World Wide Web, digital libraries, digital libraries, security policies, authorisation, information resources, telecommunication security, bank data processing, access control lists, online banks
32	Shiwa S. Fu, Nian-Feng Tzeng	A Circular List-Based Mutual Exclusion Scheme for Large Shared-Memory Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Circular lists, hot-spot contention, tree of locks, multiprocessors, mutual exclusion, critical sections, linked lists
32	Marshall D. Brain, Alan L. Tharp	Using Tries to Eliminate Pattern Collisions in Perfect Hashing.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	sparse matrix packing algorithm, retrieval function complexity, perfect hashing algorithms, array-based tries, Unix word list, large word lists, function building efficiency, pattern collision avoidance, ordered minimal perfect hashing function, item lists, sparse array packing, computational complexity, Unix, file organisation, ordering, list processing
32	Hendrik Iben, Hannes Baumann, Carmen Ruthenbeck, Tobias Klug	Visual based picking supported by context awareness: comparing picking performance using paper-based lists versus lists presented on a head mounted display with contextual support.	ICMI	2009	DBLP DOI BibTeX RDF	picking, HMD
32	Leonor Frias, Jordi Petit, Salvador Roura	Lists Revisited: Cache Conscious STL Lists.	WEA	2006	DBLP DOI BibTeX RDF
31	Anna Khudyak Kozorovitzky, Oren Kurland	From "Identical" to "Similar": Fusing Retrieved Lists Based on Inter-document Similarities.	ICTIR	2009	DBLP DOI BibTeX RDF	inter-document-similarities, similarity-based fusion, fusion
31	Stéphane Huot, Eric Lecolinet	Focus+Context Visualization Techniques for Displaying Large Lists with Multiple Points of Interest on Small Tactile Screens.	INTERACT (2)	2007	DBLP DOI BibTeX RDF	spiral layout, finger interaction, Mobile interfaces, focus+context visualization, one-handed interaction
31	Mladen Jovic, Yutaka Hatakeyama, Fangyan Dong, Kaoru Hirota	Image Retrieval Based on Similarity Score Fusion from Feature Similarity Ranking Lists.	FSKD	2006	DBLP DOI BibTeX RDF
31	Adam Woznica, Alexandros Kalousis, Melanie Hilario	Kernels on Lists and Sets over Relational Algebra: An Application to Classification of Protein Fingerprints.	PAKDD	2006	DBLP DOI BibTeX RDF
31	Przemyslaw Kazienko, Katarzyna Kuzminska	The Influence of Indirect Association Rules on Recommendation Ranking Lists.	ISDA	2005	DBLP DOI BibTeX RDF
31	Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv	Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.	VMCAI	2005	DBLP DOI BibTeX RDF
31	Pascal Fontaine, Silvio Ranise, Calogero G. Zarba	Combining Lists with Non-stably Infinite Theories.	LPAR	2004	DBLP DOI BibTeX RDF
31	Nattawut Sridranop, Ryan Stansifer	Adding polymorphic tuples and lists to the syntax of Java.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	Java, tuple, list
31	Sven Hartmann, Sebastian Link	Multi-valued Dependencies in the Presence of Lists. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
31	Jian Liu, Ming Li 0001	Finding Cancer Biomarkers from Mass Spectrometry Data by Decision Lists.	CSB	2004	DBLP DOI BibTeX RDF
31	Hang Li 0011, Kenji Yamanishi	Text Classification Using ESC-based Stochastic Decision Lists.	CIKM	1999	DBLP DOI BibTeX RDF
31	Young Gil Park, Benjamin Goldberg	Escape Analysis on Lists.	PLDI	1992	DBLP DOI BibTeX RDF
31	Steve Meyer	A Data Structure for Circuit Net Lists.	DAC	1988	DBLP BibTeX RDF	CAE tool building, data structure implementation, software engineering
31	James W. Welch, J. Wesley Graham	Retrieval Using Ordered Lists in Inverted and Multilist Files.	SIGMOD Conference	1976	DBLP DOI BibTeX RDF
31	George E. Collins	A method for overlapping and erasure of lists.	Commun. ACM	1960	DBLP DOI BibTeX RDF
30	Byungryong Kim, Kichang Kim	Efficient Search Technique for Agent-Based P2P Information Retrieval.	AIS-ADM	2007	DBLP DOI BibTeX RDF	Smart-Bloom Filter, Distance-Based Pruning, P2P, DHT
30	Henk F. Moed, Eugene Garfield	In basic science the percentage of 'authoritative' references decreases as bibliographies become shorter.	Scientometrics	2004	DBLP DOI BibTeX RDF
30	Alda Lopes Gançarski, Pedro Rangel Henriques	Presenting the results of relevance-oriented search over XML documents.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	user interface for XML retrieval
30	Guy Louchard, B. Randrianarimanana, René Schott	Dynamic Algorithms in D. E. Knuth's Model: A Probabilistic Analysis.	ICALP	1989	DBLP DOI BibTeX RDF
29	Najah Chridi, Mathieu Turuani, Michaël Rusinowitch	Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists.	CSF	2009	DBLP DOI BibTeX RDF	group protocol, well-tagged, autonomous keys, cryptographic protocol, decision procedure, lists
29	Vic Grout, John McGinn, John N. Davies	Real-time optimisation of access control lists for efficient Internet packet filtering.	J. Heuristics	2007	DBLP DOI BibTeX RDF	Internet packet filters, Real-time optimisation, Access control lists
29	Bryant A. Julstrom	Encoding rectilinear Steiner trees as lists of edges.	SAC	2001	DBLP DOI BibTeX RDF	Prüfer numbers, evolutionary codings, lists of edges, weighted codings, rectilinear Steiner trees
29	Ian J. Davis	Local Correction of Helix(k) Lists.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	helix(k) lists, robust multiply linked list, local correction, damaged, algorithm, data structures, errors, failure, node, pointers, disconnected, list processing
28	James Aspnes, Gauri Shah	Skip graphs.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	Peer-to-peer, overlay networks, skip lists
28	Michael F. Ringenburg, Dan Grossman	Preventing format-string attacks via automatic and efficient dynamic checking.	CCS	2005	DBLP DOI BibTeX RDF	dynamic checking, format-string attacks, white-lists, static analysis
28	Michael M. Swift, Anne Hopkins, Peter Brundrett, Cliff Van Dyke, Praerit Garg, Shannon Chan, Mario Goertzel, Gregory Jensenworth	Improving the granularity of access control for Windows 2000.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	Microsoft Windows 2000, active directory, Microsoft Windows (OS), Windows NT, Access control lists
28	Paul A. Gray, Vaidy S. Sunderam	Certificate Use for Supporting Merging and Splitting of Computational Environments.	HPCN	2001	DBLP DOI BibTeX RDF	Merging virtual machines, splitting virtual machines, soft-installation of processes, certificate revocation lists
28	Michael M. Swift, Peter Brundrett, Cliff Van Dyke, Praerit Garg, Anne Hopkins, Shannon Chan, Mario Goertzel, Gregory Jensenworth	Improving the granularity of access control in Windows NT.	SACMAT	2001	DBLP DOI BibTeX RDF	Microsoft Windows NT, access control lists, Windows 2000
28	Alessandro Armando, Silvio Ranise, Michaël Rusinowitch	Uniform Derivation of Decision Procedures by Superposition.	CSL	2001	DBLP DOI BibTeX RDF	Arrays with Extensionality, Term Rewriting, Decision Procedures, Homomorphism, Automated Deduction, Lists, Superposition, Equational Logic
28	Robert S. Brewer	Improving problem-oriented mailing list archives with MCS.	ICSE	2000	DBLP DOI BibTeX RDF	knowledge condensation, archives, mailing lists, collective memory
28	I-Lung Kao, Randy Chow	An Extended Capability Architecture To Enforce Dynamic Access Control Policies.	ACSAC	1996	DBLP DOI BibTeX RDF	extended capability architecture, dynamic access control policies, user process, object access, access request, centralized access control lists, object protection, capability based systems, static access control policies, access privileges, capability systems, access history, capability management, distributed systems, distributed system, distributed processing, security policies, access rights, object manager, object managers
28	Arie E. Kaufman	Variations on the binary buddy system for dynamic memory management.	ACM Southeast Regional Conference	1980	DBLP DOI BibTeX RDF	binary buddy system, revised buddy system, tailored-lists buddy system, fragmentation, dynamic storage allocation
26	Eva S. Klappe, Jarom Heijmans, Kaz Groen, Judith ter Schure, Ronald Cornet, Nicolette F. de Keizer	Correctly structured problem lists lead to better and faster clinical decision-making in electronic health records compared to non-curated problem lists: A single-blinded crossover randomized controlled trial.	Int. J. Medical Informatics	2023	DBLP DOI BibTeX RDF
26	Kimberly Ruth, Deepak Kumar 0006, Brandon Wang, Luke Valenta, Zakir Durumeric	Toppling top lists: evaluating the accuracy of popular website lists.	IMC	2022	DBLP DOI BibTeX RDF
26	O. Ekaba Bisong, B. John Oommen	On utilizing an enhanced object partitioning scheme to optimize self-organizing lists-on-lists.	Evol. Syst.	2021	DBLP DOI BibTeX RDF
26	O. Ekaba Bisong, B. John Oommen	On utilizing the transitivity pursuit-enhanced object partitioning to optimize self-organizing lists-on-lists.	Evol. Syst.	2021	DBLP DOI BibTeX RDF
26	O. Ekaba Bisong, B. John Oommen	Optimizing Self-organizing Lists-on-Lists Using Transitivity and Pursuit-Enhanced Object Partitioning.	AIAI (1)	2020	DBLP DOI BibTeX RDF
26	O. Ekaba Bisong, B. John Oommen	Optimizing Self-organizing Lists-on-Lists Using Enhanced Object Partitioning.	AIAI	2019	DBLP DOI BibTeX RDF
26	O. Ekaba Bisong, B. John Oommen	Optimizing Self-organizing Lists-on-Lists Using Pursuit-Oriented Enhanced Object Partitioning.	ICIC (3)	2019	DBLP DOI BibTeX RDF
26	Johannes Naab, Patrick Sattler, Jonas Jelten, Oliver Gasser, Georg Carle	Prefix Top Lists: Gaining Insights with Prefixes from Domain-based Top Lists on DNS Deployment.	Internet Measurement Conference	2019	DBLP DOI BibTeX RDF
26	Jorge Mañana-Rodríguez, Janne Pölönen	Scholarly book publishers' ratings and lists in Finland and Spain: Comparison and assessment of the evaluative potential of merged lists.	Aslib J. Inf. Manag.	2018	DBLP DOI BibTeX RDF
26	Isabelle Dorsch, Johanna M. Askeridis, Wolfgang G. Stock	Truebounded, Overbounded, or Underbounded? Scientists' Personal Publication Lists versus Lists Generated through Bibliographic Information Services.	Publ.	2018	DBLP DOI BibTeX RDF
26	Heiko Niedermayer, Nikolai Schwellnus, Daniel Raumer, Edwin Cordeiro, Georg Carle	Information Mining from Public Mailing Lists: A Case Study on IETF Mailing Lists.	INSCI	2017	DBLP DOI BibTeX RDF
26	Paal E. Engelstad, Hugo Hammer, Anis Yazidi, Aleksander Bai	Advanced Classification Lists (Dirty Word Lists) for Automatic Security Classification.	CyberC	2015	DBLP DOI BibTeX RDF
26	Yingxu Wang 0001, Cyprian F. Ngolah, Xinming Tan, Phillip C.-Y. Sheu	The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists).	Int. J. Softw. Sci. Comput. Intell.	2011	DBLP DOI BibTeX RDF
26	Leonor Frias, Jordi Petit, Salvador Roura	Lists revisited: Cache-conscious STL lists.	ACM J. Exp. Algorithmics	2009	DBLP DOI BibTeX RDF
26	B. K. Tripathy 0001, G. P. Pattanaik	On some properties of lists and fuzzy lists.	Inf. Sci.	2004	DBLP DOI BibTeX RDF
26	B. K. Tripathy 0001, Sasanko Sekhar Gantayat	Some more properties of lists and fuzzy lists.	Inf. Sci.	2004	DBLP DOI BibTeX RDF
26	Adam Niewiadomski, P. Kryger, Piotr S. Szczepaniak	Fuzzyfication of Indiscernibility Relation for Structurizing Lists of Synonyms and Stop-Lists for Search Engines.	ICAISC	2004	DBLP DOI BibTeX RDF
26	Agostino Dovier, Carla Piazza, Gianfranco Rossi	A uniform approach to constraint-solving for lists, multisets, compact lists, and sets	CoRR	2003	DBLP BibTeX RDF
25	Kshitij Bansal, Rémi Brochenin, Étienne Lozes	Beyond Shapes: Lists with Ordered Data.	FoSSaCS	2009	DBLP DOI BibTeX RDF