Search results for "venn"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
188	Frank Ruskey, Mark Weston	More Fun with Symmetric Venn Diagrams.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
168	Nik Swoboda, Gerard Allwein	Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Euler and Venn diagrams, Graph transformation, Diagrammatic reasoning, Proof verification
122	Jeremy Carroll, Frank Ruskey, Mark Weston	Which n-Venn Diagrams Can Be Drawn with Convex k-Gons?	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
122	Fernando Buarque de Lima Neto, Philippe De Wilde	Venn-like models of neo-cortex patches.	IJCNN	2006	DBLP DOI BibTeX RDF
105	Stirling Chow, Frank Ruskey	Drawing Area-Proportional Venn and Euler Diagrams.	GD	2003	DBLP DOI BibTeX RDF
105	Frank Ruskey	Drawing Venn Diagrams.	GD	2002	DBLP DOI BibTeX RDF
79	Hideki Koike, Yoichi Sato, Yoshinori Kobayashi, Hiroaki Tobita, Motoki Kobayashi	Interactive textbook and interactive Venn diagram: natural and intuitive interfaces on augmented desk system.	CHI	2000	DBLP DOI BibTeX RDF	finger/hand recognition, information retrieval, computer vision, education, augmented reality, Venn diagram, computer supported learning
67	Steve Jones, Shona McInnes, Mark S. Staveley	A Graphical User Interface for Boolean Query Specification.	Int. J. Digit. Libr.	1999	DBLP DOI BibTeX RDF	Searching, Query interface, Boolean logic, Query specification
63	Lars Langer, Erik Frøkjær	Improving web search transparency by using a Venn diagram interface.	NordiCHI	2008	DBLP DOI BibTeX RDF	information search and retrieva, visualization, user study, web search, Google, Venn diagram, usability measure
55	Lopamudra Choudhury, Mihir K. Chakraborty	On Extending Venn Diagram by Augmenting Names of Individuals.	Diagrams	2004	DBLP DOI BibTeX RDF
55	Joseph Gil, John Howse, Elena Tulchinsky	Positive Semantics of Projections in Venn-Euler Diagrams.	Diagrams	2000	DBLP DOI BibTeX RDF
49	Rosario De Chiara, Ugo Erra, Vittorio Scarano	A visual adaptive interface to file systems.	AVI	2004	DBLP DOI BibTeX RDF	venn, user interfaces, adaptivity, set, Venn diagram
43	Benjamin Hur, Dongwon Kang, Sangseon Lee, Ji Hwan Moon, Gung Lee, Sun Kim	Venn-diaNet : venn diagram based network propagation analysis framework for comparing multiple biological experiments.	BMC Bioinform.	2019	DBLP DOI BibTeX RDF
43	Nik Swoboda, Gerard Allwein	Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference.	GT-VMT@ICGT	2002	DBLP DOI BibTeX RDF
41	Mikhail Dashevskiy, Zhiyuan Luo 0001	Predictions with Confidence in Applications.	MLDM	2009	DBLP DOI BibTeX RDF	Prediction with Confidence, Venn Probability Machine, Conformal Predictors, Confidence Machines, Machine Learning, Probabilistic Prediction
41	Sumanta Sarathi Sharma	Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms.	Diagrams	2008	DBLP DOI BibTeX RDF	Euler Circles, Method of Minimal Representation, Venn Diagrams
41	Hiroaki Tobita	Catenaccio: interactive information retrieval system through drawing.	AVI	2006	DBLP DOI BibTeX RDF	sketch manipulations, information retrieval, interactive system, venn diagram
41	Wafi Al-Karaghouli, Sarmad Alshawi, Guy Fitzgerald	Negotiating and Understanding Information Systems Requirements: The Use of Set Diagrams.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Knowledge gap, Understanding requirements, Specifications, Information technology, Mappings, Negotiation, Set theory, User requirements, Operational research, Information systems development, Venn diagrams
41	Marc Soucy, Denis Laurendeau	A General Surface Approach to the Integration of a Set of Range Views.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	Range views, surface integration, triangulation, view integration, Venn diagram
38	James F. McCarthy, Mukkai S. Krishnamoorthy	Venn Diagram Construction of Internet Chatroom Conversations.	ISI	2006	DBLP DOI BibTeX RDF
38	Yufei Tao 0001, Dimitris Papadias, Jian Zhai, Qing Li 0001	Venn Sampling: A Novel Prediction Technique for Moving Objects.	ICDE	2005	DBLP DOI BibTeX RDF
38	Joseph Gil, John Howse, Stuart Kent 0001, John Taylor 0001	Projections in Venn-Euler Diagrams.	VL	2000	DBLP DOI BibTeX RDF	diagrammatic notations, Visual formalisms
38	Jürgen Assfalg, C. Leveque, Marc Mautref, P. Neel, Libero Nigro, M. Philippou, Jean-Michel Tanneau, Enrico Vicario, G. Zardetto	Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF
33	Peter Rodgers 0001, Jean Flower, Gem Stapleton, John Howse	Some Results for Drawing Area Proportional Venn3 With Convex Curves.	IV	2009	DBLP DOI BibTeX RDF
33	Frithjof Dau	The Advent of Formal Diagrammatic Reasoning Systems.	ICFCA	2009	DBLP DOI BibTeX RDF
33	Michael Kaufmann 0001, Marc J. van Kreveld, Bettina Speckmann	Subdivision Drawings of Hypergraphs.	GD	2008	DBLP DOI BibTeX RDF
33	John Howse, Fernando Molina, John Taylor 0001	SD2: A Sound and Complete Diagrammatic Reasoning System.	VL	2000	DBLP DOI BibTeX RDF
33	John Howse, Fernando Molina, John Taylor 0001, Stuart Kent 0001	Reasoning with Spider Diagrams.	VL	1999	DBLP DOI BibTeX RDF	Diagrammatic reasoning, visual formalisms
33	Morten Hertzum, Erik Frøkjær	Browsing and Querying in Online Documentation: A Study of User Interfaces and the Interaction Process.	ACM Trans. Comput. Hum. Interact.	1996	DBLP DOI BibTeX RDF	online manuals, usage effectiveness, documentation, interaction process
32	Benedikt Venn, Thomas Leifeld, Ping Zhang 0022, Timo Mühlhaus	Temporal classification of short time series data.	BMC Bioinform.	2024	DBLP DOI BibTeX RDF
32	Megan Venn-Wycherley, Ahmed Kharrufa, Susan Lechelt, Rebecca Nicholson, Kate Howland, Abrar Almjally, Anthony Trory, Vidya Sarangapani	The Realities of Evaluating Educational Technology in School Settings.	ACM Trans. Comput. Hum. Interact.	2024	DBLP DOI BibTeX RDF
32	Daniel R. Venn, Steven J. Ruuth	Underdetermined Fourier Extensions for Partial Differential Equations on Surfaces.	CoRR	2024	DBLP DOI BibTeX RDF
32	Charith Munasinghe, Fatemeh Mohammadi Amin, Davide Scaramuzza 0001, Hans Wernher van de Venn	COVERED, CollabOratiVE Robot Environment Dataset for 3D Semantic segmentation.	CoRR	2023	DBLP DOI BibTeX RDF
32	Maryam Rezayati, Grammatiki Zanni, Ying Zaoshi, Davide Scaramuzza 0001, Hans Wernher van de Venn	Improving safety in physical human-robot collaboration via deep metric learning.	CoRR	2023	DBLP DOI BibTeX RDF
32	Aaditya V. Rangan, Caroline C. McGrouther, Nivedita Bhadra, Stephanie Venn-Watson, Eric D. Jensen, Nicholas J. Schork	A time-series analysis of blood-based biomarkers within a 25-year longitudinal dolphin cohort.	PLoS Comput. Biol.	2023	DBLP DOI BibTeX RDF
32	Nico Braunisch, Marko Ristin-Kaufmann, Robert Lehmann 0001, Martin Wollschlaeger, Hans Wernher van de Venn	Empowering Industry 4.0 with Generative and Model-Driven SDK Development.	IECON	2023	DBLP DOI BibTeX RDF
32	Nico Braunisch, Robert Lehmann 0001, Martin Wollschlaeger, Marko Ristin, Hans Wernher van de Venn, Björn Otto, Tobias Kleinert	Maturity Evaluation of SDKs for I4.0 Digital Twins.	ETFA	2023	DBLP DOI BibTeX RDF
32	Nico Braunisch, Marko Ristin-Kaufmann, Robert Lehmann 0001, Martin Wollschlaeger, Hans Wernher van de Venn	Generation of Digital Twins for Information Exchange Between Partners in the Industrie 4.0 Value Chain.	INDIN	2023	DBLP DOI BibTeX RDF
32	Kiavash Fathi, Alireza Darvishy, Hans Wernher van de Venn	Similarity and Location-based Real-time Loop Closure: SNAPS for SLAM† in Unexplored-Environments.	COINS	2023	DBLP DOI BibTeX RDF
32	Kevin Schneider, Benedikt Venn, Timo Mühlhaus	Plotly.NET: A fully featured charting library for .NET programming languages.	F1000Research	2022	DBLP DOI BibTeX RDF
32	Shaan Khurshid, Lu-Chen Weng, Victor Nauffal, James P. Pirruccello, Rachael A. Venn, Mostafa A. Al-Alusi, Emelia J. Benjamin, Patrick T. Ellinor, Steven A. Lubitz	Wearable accelerometer-derived physical activity and incident disease.	npj Digit. Medicine	2022	DBLP DOI BibTeX RDF
32	Kiavash Fathi, Alireza Darvishy, Hans Wernher van de Venn	Augmented Reality for the Visually Impaired: Navigation Aid and Scene Semantics for Indoor Use Cases.	ICCE-Berlin	2022	DBLP DOI BibTeX RDF
32	Jiyang Zhang 0003, Marko Ristin, Phillip Schanely, Hans Wernher van de Venn, Milos Gligoric 0001	Python-by-contract dataset.	ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
32	Maryam Rezayati, Grammatiki Zanni, Ying Zaoshi, Davide Scaramuzza 0001, Hans Wernher van de Venn	Improving safety in physical human-robot collaboration via deep metric learning.	ETFA	2022	DBLP DOI BibTeX RDF
32	Charith Munasinghe, Fatemeh Mohammadi Amin, Davide Scaramuzza 0001, Hans Wernher van de Venn	COVERED, CollabOratiVE Robot Environment Dataset for 3D Semantic segmentation.	ETFA	2022	DBLP DOI BibTeX RDF
32	Leo Venn, Steven Mills	A VR Tool for Labelling 3D Data Sets.	IVCNZ	2022	DBLP DOI BibTeX RDF
32	Torben Miny, Sebastian Heppner, Igor Garmaev, Tobias Kleinert, Marko Ristin, Hans Wernher van de Venn, Björn Otto, Karsten Meinecke, Christian Diedrich, Nico Braunisch, Martin Wollschlaeger	Semi-Automatic Testing of Data-Focused Software Development Kits for Industrie 4.0.	INDIN	2022	DBLP DOI BibTeX RDF
32	Marko Ristin, Dag Fjeld Edvardsen, Hans Wernher van de Venn	RASAECO: Requirements Analysis of Software for the AECO Industry.	CoRR	2021	DBLP BibTeX RDF
32	Kiavash Fathi, Hans Wernher van de Venn, Marcel Honegger	Predictive Maintenance: An Autoencoder Anomaly-Based Approach for a 3 DoF Delta Robot.	Sensors	2021	DBLP DOI BibTeX RDF
32	Marko Ristin, Dag Fjeld Edvardsen, Hans Wernher van de Venn	RASAECO: Requirements Analysis of Software for the AECO Industry.	RE	2021	DBLP DOI BibTeX RDF
32	Anuraag Narang, Balaji Venn, S. Saqib Khursheed, Peter Harrod	An Exploration of Microprocessor Self-Test Optimisation Based On Safe Faults.	DFT	2021	DBLP DOI BibTeX RDF
32	Nico Braunisch, Marko Ristin, Robert Lehmann 0001, Hans Wernher van de Venn	Generative and Model-driven SDK development for the Industrie 4.0 Digital Twin.	ETFA	2021	DBLP DOI BibTeX RDF
32	Meilin I. Tilukay, A. N. M. Salman, Venn Y. I. Ilwaru, Francis Y. Rumlawang	The total face irregularity strength of some plane graphs.	AKCE Int. J. Graphs Comb.	2020	DBLP DOI BibTeX RDF
32	Kevin Schneider, Benedikt Venn, Timo Mühlhaus	TMEA: A Thermodynamically Motivated Framework for Functional Characterization of Biological Responses to System Acclimation.	Entropy	2020	DBLP DOI BibTeX RDF
32	Fatemeh Mohammadi Amin, Maryam Rezayati, Hans Wernher van de Venn, Hossein Karimpour	A Mixed-Perception Approach for Safe Human-Robot Collaboration in Industrial Automation.	Sensors	2020	DBLP DOI BibTeX RDF
32	Anna Vasilchenko, Megan Venn-Wycherley, Matthew Dyson, Fernando Russo Abegão	Engaging Science and Engineering Students in Computing Education through Learner-Created Videos and Physical Computing Tools.	CEP	2020	DBLP DOI BibTeX RDF
32	Ahmed Kharrufa, Serdar Abaci, Emeline Brulé, Petr Slovák, Megan Venn-Wycherley, Daniel Lambton-Howard	Evaluation of emerging educational technologies in the classroom.	IDC (Extended Abstracts)	2020	DBLP DOI BibTeX RDF
32	Megan Venn-Wycherley, Christine Bennett, Ahmed Kharrufa	Design Studios for K-12 Computing Education.	SIGCSE	2020	DBLP DOI BibTeX RDF
32	Carlo Robiati, Matthew Eyre, Claudio Vanneschi, Mirko Francioni, Adam Venn, John Coggan	Application of Remote Sensing Data for Evaluation of Rockfall Potential within a Quarry Slope.	ISPRS Int. J. Geo Inf.	2019	DBLP DOI BibTeX RDF
32	Md Ekramul Hossain, Muhammad S. A. Zilany, Evelyn E. Davies-Venn	On the feasibility of using a bispectral measure as a nonintrusive predictor of speech intelligibility.	Comput. Speech Lang.	2019	DBLP DOI BibTeX RDF
32	Thomas Leifeld, Benedikt Venn, Shaoxuan Cui, Zhihua Zhang 0001, Timo Mühlhaus, Ping Zhang 0022	Curve form based quantization of short time series data.	ECC	2019	DBLP DOI BibTeX RDF
32	Megan Venn-Wycherley, Ahmed Kharrufa	HOPE for Computing Education: Towards the Infrastructuring of Support for University-School Partnerships.	CHI	2019	DBLP DOI BibTeX RDF
32	Stephen Kyberd, Jonathan Attias, Peter Get, Paul Murcutt, Chris Prahacs, Matthew Towlson, Simon Venn, Andreia Vasconcelos, Matthew Gadd, Daniele De Martini, Paul Newman 0001	The Hulk: Design and Development of a Weather-Proof Vehicle for Long-Term Autonomy in Outdoor Environments.	FSR	2019	DBLP DOI BibTeX RDF
32	Erwin A. Alampay, Xavier Venn Asuncion, Maricris delos Santos	Management of Social Media for Disaster Risk Reduction and Mitigation in Philippine Local Government Units.	ICEGOV	2018	DBLP DOI BibTeX RDF
32	Mario Bebendorf, Christian Kuske, Raoul Venn	Wideband nested cross approximation for Helmholtz problems.	Numerische Mathematik	2015	DBLP DOI BibTeX RDF
32	Mario Bebendorf, Raoul Venn	Constructing nested bases approximations from the entries of non-local operators.	Numerische Mathematik	2012	DBLP DOI BibTeX RDF
32	Paul L. Gibson, Daniel S. Hedin, Evelyn E. Davies-Venn, Peggy Nelson, Kevin M. Kramer	Multi-microphone adaptive array augmented with visual cueing.	EMBC	2012	DBLP DOI BibTeX RDF
32	John Venn	Symbolic logic (2. ed.).		2006	RDF
32	Rex A. Naden, J. Venn Leeds, Paul E. Pfeiffer	Use of the Reciprocity Theorem and Mapping Theorems in Locating Anomalous Air Pollution Sources.	IEEE Trans. Syst. Man Cybern.	1973	DBLP DOI BibTeX RDF
32	D. Burns, E. N. Hawkins, D. R. Judd, J. L. Venn	The Egdon System for the KDF9.	Comput. J.	1966	DBLP DOI BibTeX RDF
32	D. T. Goodwin, J. L. Venn	On polyphase sort.	Commun. ACM	1964	DBLP DOI BibTeX RDF
32	J. L. Venn	Correspondence: The Principles of Sorting.	Comput. J.	1958	DBLP DOI BibTeX RDF
24	Peter Rodgers 0001, Leishi Zhang, Andrew Fish	General Euler Diagram Generation.	Diagrams	2008	DBLP DOI BibTeX RDF	Venn Diagrams, Euler Diagrams
24	Hiroaki Tobita, Hideki Koike	Information retrieval system using real world objects.	Designing Augmented Reality Environments	2000	DBLP DOI BibTeX RDF	dynamic arrangment, visualization, information retrieval, Venn diagram, real world objects
21	Dimitrios Boursinos, Xenofon D. Koutsoukos	Efficient probability intervals for classification using inductive venn predictors.	Pattern Recognit.	2023	DBLP DOI BibTeX RDF
21	Ulf Johansson, Tuwe Löfström, Cecilia Sönströd	Well-Calibrated Probabilistic Predictive Maintenance using Venn-Abers.	CoRR	2023	DBLP DOI BibTeX RDF
21		Venn Diagram Multi-label Class Interpretation of Diabetic Foot Ulcer with Color and Sharpness Enhancement.	CoRR	2023	DBLP DOI BibTeX RDF
21	Jiachen Liu, Fan Lai, Ding Ding, Yiwen Zhang, Mosharaf Chowdhury	Venn: Resource Management Across Federated Learning Jobs.	CoRR	2023	DBLP DOI BibTeX RDF
21	Ilia Nouretdinov, Alex Gammerman	The Venn-ABERS Testing for Change-Point Detection.	COPA	2023	DBLP BibTeX RDF
21	Come Rodriguez, Vitor Martin Bordini, Sébastien Destercke, Benjamin Quost	Self Learning using Venn-Abers predictors.	COPA	2023	DBLP BibTeX RDF
21	Anna N. Bartel, Kevin J. Lande, Joris Roos, Karen B. Schloss	A Holey Perspective on Venn Diagrams.	Cogn. Sci.	2022	DBLP DOI BibTeX RDF
21	Tim Hulsen	DeepVenn - a web application for the creation of area-proportional Venn diagrams using the deep learning framework Tensorflow.js.	CoRR	2022	DBLP DOI BibTeX RDF
21	Patrizio Giovannotti	Calibration of Natural Language Understanding Models with Venn-ABERS Predictors.	CoRR	2022	DBLP DOI BibTeX RDF
21	Sumanta Sarathi Sharma	The Notion of Diagrammatic Isomorphism in Venn-Peirce Diagrams.	Diagrams	2022	DBLP DOI BibTeX RDF
21	Marcos Bautista López Aznar, Guillermo Címbora Acosta, Walter Federico Gadea	Significance in Marlo Diagrams Versus Thoroughness of Venn Diagrams.	SAI (1)	2022	DBLP DOI BibTeX RDF
21	Patrizio Giovannotti	Calibration of Natural Language Understanding Models with Venn–ABERS Predictors.	COPA	2022	DBLP BibTeX RDF
21	Amr Alkhatib, Henrik Boström, Ulf Johansson	Assessing Explanation Quality by Venn Prediction.	COPA	2022	DBLP BibTeX RDF
21	Ilia Nouretdinov, James Gammerman	Prediction of Energy Consumption with Inductive Venn-Abers Predictive Distribution.	COPA	2022	DBLP BibTeX RDF
21	Tim Hulsen	BioVenn - an R and Python package for the comparison and visualization of biological lists using area-proportional Venn diagrams.	Data Sci.	2021	DBLP DOI BibTeX RDF
21	Anqiang Jia, Ling Xu, Yi Wang 0052	Venn diagrams in bioinformatics.	Briefings Bioinform.	2021	DBLP DOI BibTeX RDF
21	Sunil Nagpal, Bhusan K. Kuntal, Sharmila S. Mande	NetSets.js: a JavaScript framework for compositional assessment and comparison of biological networks through Venn-integrated network diagrams.	Bioinform.	2021	DBLP DOI BibTeX RDF
21	Dimitrios Boursinos, Xenofon D. Koutsoukos	Reliable Probability Intervals For Classification Using Inductive Venn Predictors Based on Distance Learning.	CoRR	2021	DBLP BibTeX RDF
21	Sung Yang Ho, Sophia Tan, Chun Chau Sze, Limsoon Wong, Wilson Wen Bin Goh	What can Venn diagrams teach us about doing data science better?	Int. J. Data Sci. Anal.	2021	DBLP DOI BibTeX RDF
21	Reetu Bhattacharjee, Amirouche Moktefi	Revisiting Peirce's Rules of Transformation for Euler-Venn Diagrams.	Diagrams	2021	DBLP DOI BibTeX RDF
21	Marcos Bautista López Aznar, Walter Federico Gadea, Guillermo Címbora Acosta	Aaron Schuyler: The Missing Link Between Euler and Venn Diagrams?	Diagrams	2021	DBLP DOI BibTeX RDF
21	Xinwen Liu 0006, Ahti-Veikko Pietarinen	Venn Diagrams with "Most": A Natural Logic Approach.	Diagrams	2021	DBLP DOI BibTeX RDF
21	Sven Linker	Natural Deduction for Intuitionistic Euler-Venn Diagrams.	Diagrams	2021	DBLP DOI BibTeX RDF
21	Xinwen Liu 0006, Ahti-Veikko Pietarinen	Jin Yuelin's Simplification of Venn Diagrams.	Diagrams	2021	DBLP DOI BibTeX RDF
21	Dimitrios Boursinos, Xenofon D. Koutsoukos	Reliable Probability Intervals For Classification Using Inductive Venn Predictors Based on Distance Learning.	COINS	2021	DBLP DOI BibTeX RDF
21	Jonathan Peck, Bart Goossens, Yvan Saeys	Detecting adversarial manipulation using inductive Venn-ABERS predictors.	Neurocomputing	2020	DBLP DOI BibTeX RDF