Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
96 | Werner Dilger, Hans Voß |
Sorts in Qualitative Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 190-207, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
68 | Gordon Rugg, Peter McGeorge |
The sorting techniques: a tutorial paper on card sorts, picture sorts and item sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. J. Knowl. Eng. ![In: Expert Syst. J. Knowl. Eng. 22(3), pp. 94-107, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Peter H. Schmitt, Wolfgang Wernecke |
Tableau Calculus for Order Sorted Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 49-60, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Ulrich Hedtstück, Peter H. Schmitt |
A Calculus for Order-Sorted Predicate Logic with Sort Literals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 61-72, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Christoph Beierle |
Types, Modules and Databases in the Logic Programming Language PROTOS-L. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 73-110, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Arnold Oberschelp |
Order Sorted Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 8-17, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Bernd Owsnicki-Klewe |
A General Characterization of Term Description Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 183-189, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 165-182, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Udo Pletat, Kai von Luck |
Knowledge Representation in LILOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 140-164, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 240-285, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Christoph Walther |
Many-Sorted Inferences in Automated Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 18-48, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Bernd Mahr, Carla Umbach |
Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 286-304, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Bernhard Nebel, Gert Smolka |
Representation and Reasoning with Attributive Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 112-139, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Kurt Eberle |
Eventualities in a Natural Language Understanding System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sorts and Types in Artificial Intelligence ![In: Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings, pp. 209-239, 1989, Springer, 3-540-52337-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
50 | Neil A. M. Maiden |
Card Sorts to Acquire Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 26(3), pp. 85-86, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Amaury Habrard, Marc Bernard, François Jacquenet |
Generalized Stochastic Tree Automata for Multi-relational Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings, pp. 120-133, 2002, Springer, 3-540-44239-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Forschungsberichte, TU Munich ![In: Forschungsberichte, TU Munich FKI 89 88, pp. 1-9, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
RDF |
|
45 | Weiye Zhang, Per-Åke Larson |
A memory-adaptive sort (MASORT) for database systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, November 12-14, 1996, Toronto, Ontario, Canada, pp. 41, 1996, IBM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
41 | Richard Cole 0001, David C. Kandathil |
The Average Case Analysis of Partition Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2004, 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004, Proceedings, pp. 240-251, 2004, Springer, 3-540-23025-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Ken Kaneiwa, Satoshi Tojo |
An Order-Sorted Resolution with Implicitly Negative Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 300-314, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
41 | Weidong Chen 0005, Michael Kifer |
Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings, pp. 252-265, 1995, Springer, 3-540-58907-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
41 | Andreas Nonnengart |
How to Use Modalities and Sorts in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 365-378, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 414-421, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 381-384, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cs1, sorting, selection, insertion, quicksort |
36 | Yijie Han |
Deterministic sorting in O(nlog log n) time and linear space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 34th Annual ACM Symposium on Theory of Computing, May 19-21, 2002, Montréal, Québec, Canada, pp. 602-608, 2002, ACM, 1-58113-495-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 34(9), pp. 687-700, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
36 | Andrew Fall |
Extending Partial Orders for Sort Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 132-143, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Michael Kohlhase |
Unification in Order-Sorted Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 421-432, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
32 | |
Data Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 635, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Marius Marin, Leon Moonen, Arie van Deursen |
A common framework for aspect mining based on crosscutting concern sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 13th Working Conference on Reverse Engineering (WCRE 2006), 23-27 October 2006, Benevento, Italy, pp. 29-38, 2006, IEEE Computer Society, 0-7695-2719-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Alexandre Miquel |
lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, pp. 232-251, 2004, Springer, 3-540-31428-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Linda Upchurch, Gordon Rugg, Barbara A. Kitchenham |
Using Card Sorts to Elicit Web Page Quality Attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 18(4), pp. 84-89, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Patricia Johann, Michael Kohlhase |
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 620-634, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Michelle Lyman, Gary Lewandowski |
Genetic programming for association rules on card sorting data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1551-1552, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
data mining, genetic programming, card sorts |
27 | Marius Marin, Leon Moonen, Arie van Deursen |
Documenting Typical Crosscutting Concerns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 14th Working Conference on Reverse Engineering (WCRE 2007), 28-31 October 2007, Vancouver, BC, Canada, pp. 31-40, 2007, IEEE Computer Society, 0-7695-3034-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Gordana Antic, Ernst Stadlober, Peter Grzybek, Emmerich Kelih |
Word Length and Frequency Distributions in Different Text Genres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: From Data and Information Analysis to Knowledge Engineering, Proceedings of the 29th Annual Conference of the Gesellschaft für Klassifikation e.V., University of Magdeburg, March 9-11, 2005, pp. 310-317, 2005, Springer, 978-3-540-31313-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Hong Zhu 0002 |
A Note on Test Oracles and Semantics of Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA, pp. 91-, 2003, IEEE Computer Society, 0-7695-2015-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Yijie Han |
Fast Integer Sorting in Linear Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings, pp. 242-253, 2000, Springer, 3-540-67141-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Thierry Boy de la Tour |
On the Complexity of Finite Sorted Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTP (LNCS Selection) ![In: Automated Deduction in Classical and Non-Classical Logics, Selected Papers, pp. 95-108, 1998, Springer, 3-540-67190-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Dik Lun Lee, Wai Yee Peter Wong |
Partial Document Ranking by Heuristic Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings, pp. 231-239, 1991, Springer, 3-540-54029-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 9(4), pp. 3759-3766, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Pamina Georgiou, Márton Hajdú, Laura Kovács |
Saturating Sorting without Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.03712, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Bram Willemsen, Dmytro Kalpakchi, Gabriel Skantze |
Collecting Visually-Grounded Dialogue with A Game Of Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.05162, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.13144, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Yuming Shen, Jiaguo Yu, Haofeng Zhang, Philip H. S. Torr, Menghan Wang |
Learning to Hash Naturally Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.13322, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Will Johnson |
A criterion for uniform finiteness in the imaginary sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 61(3-4), pp. 583-589, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Christos Katsanos, Georgia Zafeiriou, Alexandros Liapis |
Effect of Self-efficacy on Open Card Sorts for Websites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human Interface and the Management of Information: Visual and Information Design - Thematic Area, HIMI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I, pp. 75-87, 2022, Springer, 978-3-031-06423-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Elahe Ghasemi, Vincent Jugé, Ghazal Khalighinejad |
Galloping in Fast-Growth Natural Merge Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France., pp. 68:1-68:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-235-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jiaguo Yu, Yuming Shen, Menghan Wang, Haofeng Zhang, Philip H. S. Torr |
Learning to Hash Naturally Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022., pp. 1587-1593, 2022, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Bram Willemsen, Dmytro Kalpakchi, Gabriel Skantze |
Collecting Visually-Grounded Dialogue with A Game Of Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Thirteenth Language Resources and Evaluation Conference, LREC 2022, Marseille, France, 20-25 June 2022, pp. 2257-2268, 2022, European Language Resources Association. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Dines Bjørner |
Domain Analysis and Description - Sorts, Types, Intents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Outer Space ![In: Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday, pp. 35-60, 2021, Springer, 978-3-030-87347-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Michael Christensen 0001, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf |
Wire sorts: a language abstraction for safe hardware composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021., pp. 175-189, 2021, ACM, 978-1-4503-8391-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Georgia Zafeiriou, Christos Katsanos, Alexandros Liapis |
Effect of Sense of Direction on Open Card Sorts for Websites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Greece ![In: CHI Greece 2021: 1st International Conference of the ACM Greek SIGCHI Chapter, virtual Event / Athens, Greece, November 25 - 27, 2021, pp. 6:1-6:8, 2021, ACM, 978-1-4503-8578-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Vincent Jugé, Ghazal Khalighinejad |
Galloping in natural merge sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.03996, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Georgios Melissourgos, Christos Katsanos |
CardSorter: Towards an Open Source Tool for Online Card Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCI ![In: PCI 2020: 24th Pan-Hellenic Conference on Informatics, Athens, Greece, 20-22 November, 2020, pp. 77-81, 2020, ACM, 978-1-4503-8897-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Erik Palmgren |
Categories with families and first-order logic with dependent sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 170(12), 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IoTSMS ![In: Sixth International Conference on Internet of Things: Systems, Management and Security, IOTSMS 2019, Granada, Spain, October 22-25, 2019, pp. 616-622, 2019, IEEE, 978-1-7281-2949-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Sima Sharifirad, Azra Nazari, Mehdi Ghatee |
Modified SMOTE Using Mutual Information and Different Sorts of Entropies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.11002, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 270(2), pp. 556-569, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | James S. Denford, Kurt B. Schobel |
Manual Versus Online Card Sorts: A Cautionary Tale for IS Researchers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: 24th Americas Conference on Information Systems, AMCIS 2018, New Orleans, LA, USA, August 16-18, 2018, 2018, Association for Information Systems, 978-0-9966831-6-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 8(1), pp. 15, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | William E. Devanny |
An Assortment of Sorts: Three Modern Variations on the Classic Sorting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 145-164, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Jan Christiansen, Nikita Danilenko, Sandra Dylus |
All sorts of permutations (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016, pp. 168-179, 2016, ACM, 978-1-4503-4219-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Chaoyi Pang, Junhu Wang, Yu Cheng, Hao Lan Zhang 0001, Tongliang Li |
Topological sorts on DAGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 115(2), pp. 298-301, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Holger Bock Axelsen, Tetsuo Yokoyama |
Programming Techniques for Reversible Comparison Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 407-426, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Gopinath Chennupati, R. Muhammad Atif Azad, Conor Ryan |
Synthesis of Parallel Iterative Sorts with Multi-Core Grammatical Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015, Companion Material Proceedings, pp. 1059-1066, 2015, ACM, 978-1-4503-3488-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Stratis Viglas |
Write-limited sorts and joins for persistent memory. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 7(5), pp. 413-424, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Peter Winkler 0001 |
Puzzled: A Sort, of Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 57(5), pp. 120, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Nicholas Wilkinson, Giorgio Metta |
Bilateral gain control; an "innate predisposition" for all sorts of things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Neurorobotics ![In: Frontiers Neurorobotics 8, pp. 9, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Kate Sanders 0001 |
Card sorts, commonsense, and thresholds: a case study in CS education research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Koli Calling ![In: Proceedings of the 14th Koli Calling International Conference on Computing Education Research, Koli, Finland, November 20-23, 2014, pp. 1-3, 2014, ACM, 978-1-4503-3065-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Bruno Mery, Christian Retoré |
Semantic Types, Lexical Sorts and Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.3168, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Ralf Hinze, José Pedro Magalhães, Nicolas Wu |
A Duality of Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Beauty of Functional Code ![In: The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday, pp. 151-167, 2013, Springer, 978-3-642-40354-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Evgenii Balai, Michael Gelfond, Yuanlin Zhang 0002 |
Towards Answer Set Programming with Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, pp. 135-147, 2013, Springer, 978-3-642-40563-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VS-GAMES ![In: 5th International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2013, Poole, United Kingdom, September 11-13, 2013, pp. 1-2, 2013, IEEE Computer Society, 978-1-4799-0964-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Konstantin Korovin |
Non-cyclic Sorts for First-Order Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings, pp. 214-228, 2013, Springer, 978-3-642-40884-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Paul Thomas, David Elsweiler |
Using Card Sorts to Understand how Users Think of Personal Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroHCIR ![In: Proceedings of the 2nd European Workshop on Human-Computer Interaction and Information Retrieval, Nijmegen, The Netherlands, August 25, 2012, pp. 3-6, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings, pp. 345-360, 2012, Springer, 978-3-642-32346-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.6881, 2011. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 5(1), pp. 13-24, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (4) ![In: Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV, pp. 309-322, 2011, Springer, 978-3-642-23767-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Yu Cao 0004, Ramadhana Bramandia, Chee-Yong Chan, Kian-Lee Tan |
Optimized query evaluation using cooperative sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 26th International Conference on Data Engineering, ICDE 2010, March 1-6, 2010, Long Beach, California, USA, pp. 601-612, 2010, IEEE Computer Society, 978-1-4244-5444-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Temur Kutsia, Mircea Marin |
Order-Sorted Unification with Regular Expression Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 193-208, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Bradley C. Kuszmaul |
Brief announcement: TeraByte TokuSampleSort sorts 1TB in 197s. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, pp. 127-129, 2009, ACM, 978-1-60558-606-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
samplesort, terabyte, cluster, sort, mpi |
23 | Jean-David Hsu |
When quadratic sorts use granules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: The 2009 IEEE International Conference on Granular Computing, GrC 2009, Lushan Mountain, Nanchang, China, 17-19 August 2009, pp. 225-228, 2009, IEEE Computer Society, 978-1-4244-4830-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 34(1), pp. 194-204, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Educ. ![In: Comput. Educ. 51(3), pp. 1184-1197, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Samuel Wintermute, Joseph Z. Xu, John E. Laird |
SORTS: A Human-Level Approach to Real-Time Strategy AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIIDE ![In: Proceedings of the Third Artificial Intelligence and Interactive Digital Entertainment Conference, June 6-8, 2007, Stanford, California, USA., pp. 55-60, 2007, The AAAI Press, 978-1-57735-325-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
23 | Marius Marin, Leon Moonen, Arie van Deursen |
A common framework for aspect mining based on crosscutting concern sorts ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0606113, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
23 | Marius Marin, Leon Moonen, Arie van Deursen |
A common framework for aspect mining based on crosscutting concern sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects For Legacy Applications ![In: Aspects For Legacy Applications, 26.07. - 29.07.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
23 | Masaki Kitano, Seikoh Nishita, Tsutomu Ishikawa |
Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2006: Advances in Artificial Intelligence, 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings, pp. 49-58, 2006, Springer, 3-540-49026-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Paul Frenger |
Forth sorts fruit down under. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 40(8), pp. 7-10, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
FORTH |
23 | Katherine Deibel, Richard J. Anderson, Ruth E. Anderson |
Using edit distance to analyze card sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. J. Knowl. Eng. ![In: Expert Syst. J. Knowl. Eng. 22(3), pp. 129-138, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Sue Gerrard, Julie Dickinson |
Women's working wardrobes: a study using card sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. J. Knowl. Eng. ![In: Expert Syst. J. Knowl. Eng. 22(3), pp. 108-114, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Munehiro Iwami |
Persistence of Termination for Term Rewriting Systems with Ordered Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence and Applications ![In: IASTED International Conference on Artificial Intelligence and Applications, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 14-16, 2005, pp. 674-679, 2005, IASTED/ACTA Press, 0-88986-459-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | Christopher Lynch, Barbara Morawska 0001 |
Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, pp. 90-104, 2005, Springer, 3-540-25596-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Eng. Des. Anal. Manuf. ![In: Artif. Intell. Eng. Des. Anal. Manuf. 16(2), pp. 59-71, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Christoph Weidenbach |
Combining Superposition, Sorts and Splitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1965-2013, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Robert L. Glass |
A good-bye of sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 55(2), pp. 101-, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Assoc. Inf. Syst. ![In: Commun. Assoc. Inf. Syst. 1, pp. 3, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|