Search results for "sorts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Werner Dilger, Hans Voß	Sorts in Qualitative Reasoning.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
68	Gordon Rugg, Peter McGeorge	The sorting techniques: a tutorial paper on card sorts, picture sorts and item sorts.	Expert Syst. J. Knowl. Eng.	2005	DBLP DOI BibTeX RDF
55	Peter H. Schmitt, Wolfgang Wernecke	Tableau Calculus for Order Sorted Logic.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
55	Ulrich Hedtstück, Peter H. Schmitt	A Calculus for Order-Sorted Predicate Logic with Sort Literals.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
55	Christoph Beierle	Types, Modules and Databases in the Logic Programming Language PROTOS-L.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
55	Arnold Oberschelp	Order Sorted Predicate Logic.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
55	Bernd Owsnicki-Klewe	A General Characterization of Term Description Languages.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
55	Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann	Structure and Control of the L-LILOG Inference System.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
55	Udo Pletat, Kai von Luck	Knowledge Representation in LILOG.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
55	Jürgen Allgayer, Carola Reddig-Siekmann	What KL-ONE Lookalikes Need to Cope with Natural Language: Scope and Aspect of Plural Noun Phrases.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
55	Christoph Walther	Many-Sorted Inferences in Automated Theorem Proving.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
55	Bernd Mahr, Carla Umbach	Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
55	Bernhard Nebel, Gert Smolka	Representation and Reasoning with Attributive Descriptions.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
55	Kurt Eberle	Eventualities in a Natural Language Understanding System.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
50	Neil A. M. Maiden	Card Sorts to Acquire Requirements.	IEEE Softw.	2009	DBLP DOI BibTeX RDF
49	Amaury Habrard, Marc Bernard, François Jacquenet	Generalized Stochastic Tree Automata for Multi-relational Data Mining.	ICGI	2002	DBLP DOI BibTeX RDF	Stochastic tree automata, generalization, sorts, multi-relational data mining
45	Thierry Conrad, Ulrich Furbach	Sorts are nothing but functions: an equational approach to sorts for logic programming	Forschungsberichte, TU Munich	1988	RDF
45	Weiye Zhang, Per-Åke Larson	A memory-adaptive sort (MASORT) for database systems.	CASCON	1996	DBLP BibTeX RDF
41	Richard Cole 0001, David C. Kandathil	The Average Case Analysis of Partition Sorts.	ESA	2004	DBLP DOI BibTeX RDF
41	Ken Kaneiwa, Satoshi Tojo	An Order-Sorted Resolution with Implicitly Negative Sorts.	ICLP	2001	DBLP DOI BibTeX RDF
41	Weidong Chen 0005, Michael Kifer	Sorted HiLog: Sorts in Higher-Order Logic Data Languages.	ICDT	1995	DBLP DOI BibTeX RDF
41	Andreas Nonnengart	How to Use Modalities and Sorts in Prolog.	JELIA	1994	DBLP DOI BibTeX RDF
40	Margaret Mary West, Thomas Leo McCluskey	The application of a machine learning tool to the validation of an air traffic control domain theory.	ICTAI	2000	DBLP DOI BibTeX RDF	machine learning tool, air traffic control domain theory, general clause form theories, ordinal sorts, geometrical revision operators, learning (artificial intelligence), air traffic control, IMPRESS
36	Darrah Chavey	Double sorting: testing their sorting skills.	SIGCSE	2010	DBLP DOI BibTeX RDF	cs1, sorting, selection, insertion, quicksort
36	Yijie Han	Deterministic sorting in O(nlog log n) time and linear space.	STOC	2002	DBLP DOI BibTeX RDF	algorithms, sorting, time complexity, linear space, integer sorting
36	Apostolos Burnetas, Daniel Solow, Rishi Agarwal	An Analysis and Implementation of an Efficient In-Place Bucket Sort.	Acta Informatica	1997	DBLP DOI BibTeX RDF
36	Andrew Fall	Extending Partial Orders for Sort Reasoning.	PRICAI	1996	DBLP DOI BibTeX RDF
36	Michael Kohlhase	Unification in Order-Sorted Type Theory.	LPAR	1992	DBLP DOI BibTeX RDF
32		Data Sorts.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
32	Marius Marin, Leon Moonen, Arie van Deursen	A common framework for aspect mining based on crosscutting concern sorts.	WCRE	2006	DBLP DOI BibTeX RDF
32	Alexandre Miquel	lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts.	TYPES	2004	DBLP DOI BibTeX RDF
32	Linda Upchurch, Gordon Rugg, Barbara A. Kitchenham	Using Card Sorts to Elicit Web Page Quality Attributes.	IEEE Softw.	2001	DBLP DOI BibTeX RDF
32	Patricia Johann, Michael Kohlhase	Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.	CADE	1994	DBLP DOI BibTeX RDF
31	Michelle Lyman, Gary Lewandowski	Genetic programming for association rules on card sorting data.	GECCO	2005	DBLP DOI BibTeX RDF	data mining, genetic programming, card sorts
27	Marius Marin, Leon Moonen, Arie van Deursen	Documenting Typical Crosscutting Concerns.	WCRE	2007	DBLP DOI BibTeX RDF
27	Gordana Antic, Ernst Stadlober, Peter Grzybek, Emmerich Kelih	Word Length and Frequency Distributions in Different Text Genres.	GfKl	2005	DBLP DOI BibTeX RDF
27	Hong Zhu 0002	A Note on Test Oracles and Semantics of Algebraic Specifications.	QSIC	2003	DBLP DOI BibTeX RDF
27	Yijie Han	Fast Integer Sorting in Linear Space.	STACS	2000	DBLP DOI BibTeX RDF
27	Thierry Boy de la Tour	On the Complexity of Finite Sorted Algebras.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
27	Dik Lun Lee, Wai Yee Peter Wong	Partial Document Ranking by Heuristic Methods.	ICCI	1991	DBLP DOI BibTeX RDF
23	Ingrid Navarro, Jay Patrikar, Joao P. A. Dantas, Rohan Baijal, Ian Higgins, Sebastian A. Scherer, Jean Oh	SoRTS: Learned Tree Search for Long Horizon Social Robot Navigation.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
23	Pamina Georgiou, Márton Hajdú, Laura Kovács	Saturating Sorting without Sorts.	CoRR	2024	DBLP DOI BibTeX RDF
23	Bram Willemsen, Dmytro Kalpakchi, Gabriel Skantze	Collecting Visually-Grounded Dialogue with A Game Of Sorts.	CoRR	2023	DBLP DOI BibTeX RDF
23	Ingrid Navarro, Jay Patrikar, Joao P. A. Dantas, Rohan Baijal, Ian Higgins, Sebastian A. Scherer, Jean Oh	SoRTS: Learned Tree Search for Long Horizon Social Robot Navigation.	CoRR	2023	DBLP DOI BibTeX RDF
23	Yuming Shen, Jiaguo Yu, Haofeng Zhang, Philip H. S. Torr, Menghan Wang	Learning to Hash Naturally Sorts.	CoRR	2022	DBLP BibTeX RDF
23	Will Johnson	A criterion for uniform finiteness in the imaginary sorts.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
23	Christos Katsanos, Georgia Zafeiriou, Alexandros Liapis	Effect of Self-efficacy on Open Card Sorts for Websites.	HCI (4)	2022	DBLP DOI BibTeX RDF
23	Elahe Ghasemi, Vincent Jugé, Ghazal Khalighinejad	Galloping in Fast-Growth Natural Merge Sorts.	ICALP	2022	DBLP DOI BibTeX RDF
23	Jiaguo Yu, Yuming Shen, Menghan Wang, Haofeng Zhang, Philip H. S. Torr	Learning to Hash Naturally Sorts.	IJCAI	2022	DBLP DOI BibTeX RDF
23	Bram Willemsen, Dmytro Kalpakchi, Gabriel Skantze	Collecting Visually-Grounded Dialogue with A Game Of Sorts.	LREC	2022	DBLP BibTeX RDF
23	Dines Bjørner	Domain Analysis and Description - Sorts, Types, Intents.	Formal Methods in Outer Space	2021	DBLP DOI BibTeX RDF
23	Michael Christensen 0001, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf	Wire sorts: a language abstraction for safe hardware composition.	PLDI	2021	DBLP DOI BibTeX RDF
23	Georgia Zafeiriou, Christos Katsanos, Alexandros Liapis	Effect of Sense of Direction on Open Card Sorts for Websites.	CHI Greece	2021	DBLP DOI BibTeX RDF
23	Vincent Jugé, Ghazal Khalighinejad	Galloping in natural merge sorts.	CoRR	2020	DBLP BibTeX RDF
23	Georgios Melissourgos, Christos Katsanos	CardSorter: Towards an Open Source Tool for Online Card Sorts.	PCI	2020	DBLP DOI BibTeX RDF
23	Erik Palmgren	Categories with families and first-order logic with dependent sorts.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
23	Mar Parra, Lorena Parra, Jaime Lloret 0001, Pedro V. Mauri, Josep V. Llinares	Low-cost Soil Moisture Sensors Based on Inductive Coils Tested on Different Sorts of Soils.	IoTSMS	2019	DBLP DOI BibTeX RDF
23	Sima Sharifirad, Azra Nazari, Mehdi Ghatee	Modified SMOTE Using Mutual Information and Different Sorts of Entropies.	CoRR	2018	DBLP BibTeX RDF
23	Valerio Restocchi, Frank McGroarty, Enrico H. Gerding, Johnnie E. V. Johnson	It takes all sorts: A heterogeneous agent explanation for prediction market mispricing.	Eur. J. Oper. Res.	2018	DBLP DOI BibTeX RDF
23	James S. Denford, Kurt B. Schobel	Manual Versus Online Card Sorts: A Cautionary Tale for IS Researchers.	AMCIS	2018	DBLP BibTeX RDF
23	Jerry L. R. Chandler	An Introduction to the Foundations of Chemical Information Theory. Tarski-Lesniewski Logical Structures and the Organization of Natural Sorts and Kinds.	Inf.	2017	DBLP DOI BibTeX RDF
23	William E. Devanny	An Assortment of Sorts: Three Modern Variations on the Classic Sorting Problem.		2017	RDF
23	Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg	Categories: How I Learned to Stop Worrying and Love Two Sorts.	WoLLIC	2016	DBLP DOI BibTeX RDF
23	Jan Christiansen, Nikita Danilenko, Sandra Dylus	All sorts of permutations (functional pearl).	ICFP	2016	DBLP DOI BibTeX RDF
23	Chaoyi Pang, Junhu Wang, Yu Cheng, Hao Lan Zhang 0001, Tongliang Li	Topological sorts on DAGs.	Inf. Process. Lett.	2015	DBLP DOI BibTeX RDF
23	Holger Bock Axelsen, Tetsuo Yokoyama	Programming Techniques for Reversible Comparison Sorts.	APLAS	2015	DBLP DOI BibTeX RDF
23	Gopinath Chennupati, R. Muhammad Atif Azad, Conor Ryan	Synthesis of Parallel Iterative Sorts with Multi-Core Grammatical Evolution.	GECCO (Companion)	2015	DBLP DOI BibTeX RDF
23	Stratis Viglas	Write-limited sorts and joins for persistent memory. (PDF / PS)	Proc. VLDB Endow.	2014	DBLP DOI BibTeX RDF
23	Peter Winkler 0001	Puzzled: A Sort, of Sorts.	Commun. ACM	2014	DBLP DOI BibTeX RDF
23	Nicholas Wilkinson, Giorgio Metta	Bilateral gain control; an "innate predisposition" for all sorts of things.	Frontiers Neurorobotics	2014	DBLP DOI BibTeX RDF
23	Kate Sanders 0001	Card sorts, commonsense, and thresholds: a case study in CS education research.	Koli Calling	2014	DBLP DOI BibTeX RDF
23	Bruno Mery, Christian Retoré	Semantic Types, Lexical Sorts and Classifiers.	CoRR	2013	DBLP BibTeX RDF
23	Ralf Hinze, José Pedro Magalhães, Nicolas Wu	A Duality of Sorts.	The Beauty of Functional Code	2013	DBLP DOI BibTeX RDF
23	Evgenii Balai, Michael Gelfond, Yuanlin Zhang 0002	Towards Answer Set Programming with Sorts.	LPNMR	2013	DBLP DOI BibTeX RDF
23	Emiliano Labrador, Oscar Garcia, Albert Cubeles, Paul B. Fox	Playing Entrepreneurship as a Memorable Experience for All Sorts of Talented Warriors.	VS-GAMES	2013	DBLP DOI BibTeX RDF
23	Konstantin Korovin	Non-cyclic Sorts for First-Order Satisfiability.	FroCos	2013	DBLP DOI BibTeX RDF
23	Paul Thomas, David Elsweiler	Using Card Sorts to Understand how Users Think of Personal Information.	EuroHCIR	2012	DBLP BibTeX RDF
23	Jasmin Christian Blanchette, Andrei Popescu 0001, Daniel Wand, Christoph Weidenbach	More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification.	ITP	2012	DBLP DOI BibTeX RDF
23	Adam Marcus 0002, Eugene Wu 0002, David R. Karger, Samuel Madden 0001, Robert C. Miller	Human-powered Sorts and Joins	CoRR	2011	DBLP BibTeX RDF
23	Adam Marcus 0002, Eugene Wu 0002, David R. Karger, Samuel Madden 0001, Robert C. Miller	Human-powered Sorts and Joins. (PDF / PS)	Proc. VLDB Endow.	2011	DBLP DOI BibTeX RDF
23	Helen Petrie, Christopher Power, Paul A. Cairns, Cagla Ozen Seneler	Using Card Sorts for Understanding Website Information Architectures: Technological, Methodological and Cultural Issues.	INTERACT (4)	2011	DBLP DOI BibTeX RDF
23	Yu Cao 0004, Ramadhana Bramandia, Chee-Yong Chan, Kian-Lee Tan	Optimized query evaluation using cooperative sorts.	ICDE	2010	DBLP DOI BibTeX RDF
23	Temur Kutsia, Mircea Marin	Order-Sorted Unification with Regular Expression Sorts.	RTA	2010	DBLP DOI BibTeX RDF
23	Bradley C. Kuszmaul	Brief announcement: TeraByte TokuSampleSort sorts 1TB in 197s.	SPAA	2009	DBLP DOI BibTeX RDF	samplesort, terabyte, cluster, sort, mpi
23	Jean-David Hsu	When quadratic sorts use granules.	GrC	2009	DBLP DOI BibTeX RDF
23	Meng-Dar Shieh, Wei Yan 0001, Chun-Hsien Chen	Soliciting customer requirements for product redesign based on picture sorts and ART2 neural network.	Expert Syst. Appl.	2008	DBLP DOI BibTeX RDF
23	William I. Wolff	"A chimera of sorts": Rethinking educational technology grant programs, courseware innovation, and the language of educational change.	Comput. Educ.	2008	DBLP DOI BibTeX RDF
23	Samuel Wintermute, Joseph Z. Xu, John E. Laird	SORTS: A Human-Level Approach to Real-Time Strategy AI.	AIIDE	2007	DBLP BibTeX RDF
23	Marius Marin, Leon Moonen, Arie van Deursen	A common framework for aspect mining based on crosscutting concern sorts	CoRR	2006	DBLP BibTeX RDF
23	Marius Marin, Leon Moonen, Arie van Deursen	A common framework for aspect mining based on crosscutting concern sorts.	Aspects For Legacy Applications	2006	DBLP BibTeX RDF
23	Masaki Kitano, Seikoh Nishita, Tsutomu Ishikawa	Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts.	MICAI	2006	DBLP DOI BibTeX RDF
23	Paul Frenger	Forth sorts fruit down under.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	FORTH
23	Katherine Deibel, Richard J. Anderson, Ruth E. Anderson	Using edit distance to analyze card sorts.	Expert Syst. J. Knowl. Eng.	2005	DBLP DOI BibTeX RDF
23	Sue Gerrard, Julie Dickinson	Women's working wardrobes: a study using card sorts.	Expert Syst. J. Knowl. Eng.	2005	DBLP DOI BibTeX RDF
23	Munehiro Iwami	Persistence of Termination for Term Rewriting Systems with Ordered Sorts.	Artificial Intelligence and Applications	2005	DBLP BibTeX RDF
23	Christopher Lynch, Barbara Morawska 0001	Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories.	RTA	2005	DBLP DOI BibTeX RDF
23	Wei Yan 0001, Chun-Hsien Chen, Li Pheng Khoo	An integrated approach to the elicitation of customer requirements for engineering design using picture sorts and fuzzy evaluation.	Artif. Intell. Eng. Des. Anal. Manuf.	2002	DBLP DOI BibTeX RDF
23	Christoph Weidenbach	Combining Superposition, Sorts and Splitting.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Robert L. Glass	A good-bye of sorts.	J. Syst. Softw.	2000	DBLP DOI BibTeX RDF
23	Eduardo M. Morgado, Nicolau Reinhard, Richard T. Watson	Adding Value to Key Issues Research Through Q-Sorts and Interpretive Structured Modeling.	Commun. Assoc. Inf. Syst.	1999	DBLP DOI BibTeX RDF