yusuke1997/dblp-id-title huggingface dataset:
A graphical representation of the Prolog programmer's knowledge
What does knowledge look like: Presenting knowledge structures in a Zoo of objects
Models of mental models: an ergonomist-psychologist dialogue
Beyond visualization: Knowing and understanding
Visual language and the GARDEN system
Visualization in Programming, 5th Interdisciplinary Workshop in Informatics and Psychology, Schärding, Austria, May 20-23, 1986, Selected Contributions
Mental Models and Human-Computer Interaction 1 [selected papers of the 6th Interdisciplinary Workshop in Informatics and Psychology, Schärding, Austria, June 1987]
Styles, skills and strategies: cognitive variability and its implications for the role of mental models in HCI
Usability testing: a practical use for mental model construction
How people comprehend unknown system structure: conceptual primitives in systems' surface representations
The psychological processes of construction a mental model when learning by being told, from examples, and by exploration
Teaching a spreadsheet application - Visual-spatial metaphors in relation to spatial ability, and the effect on mental models
Intrinsic geometry in LOGO - Distance of linear segments
Aristotelian syllogisms in mental models
Empirical study of the reference interview in bibliographic online retrieval
A context-oriented approach for decision support
Nice drawings of graphs are computationally hard
Mental models and the control of action in complex environments
Design decisions for a user interface
Mental models and the design of user manuals
Designing for the mental model: an interdisciplinary approach to the definition of a user interface for electronic mail systems
Mental Models and Human-Computer Interaction 2 [selected papers of the 8th Interdisciplinary Workshop in Informatics and Psychology, Schärding, Austria, June 1989]
Learning structured diagrams - effect of mathematical background, instruction and problem semantics
How to t(r)ap user's mental models
Visualization and direct manipulation in user interfaces: Are we overdoing it?
A grammer-based approach to unifying task-oriented and system-oriented interface descriptions
The role of the user model in learning as an internally and externally directed activity
Modelling the relationship between state and display in interactive systems
FAST - a stepper in an object-oriented programming environment
The role of mental models in programming: from experiment to requirements for an interactive system
Beyond the desk top metaphor: Information retrieval with an icon-based interface
Visual Language: A Tutorial and Survey
Concurrent use of different expertise elicitaion methods applied to the study of the programming activity
Integrating visual aids into an object-oriented programming environment
GNEWS: Results of an experiment on the reinforcement of a mental communication model by a visual interface
The Gestalt Analysis of Programs
Limited theories as framework for human-computer interaction
On the design of a graphical transition network editor
On the visualization of design notions, of notion instantiations, and of structural relationships in a design data base realized as a semantic net
User modelling for a text-editor coach
Modelling the user interaction methods imposed by designs
Inductive knowledge acquisition for a UNIX coach
Reference and data construction in Boxer
Modelling for adaptivity
Generating pictorial presentations for advice-giving dialog systems
Toward adaptive human-computer interfaces
Mental models and strategies in the control of a complex system
A schema-based model of program understanding
Knowledge acquisition as an object-oriented modelling process
Object-based action planning
Plan recognition in HCI: the parsing of user actions
On visual interfaces and their conceptual analysis
Some HCI issues concerned with displaying quantitative information graphically
Representing semantic knowledge with 2-dimensional rules in the domain of functional programming
How to predict user performance and user preference with different interaction techniques?
Mental concepts and direct manipulation: drafting a direct manipulation query language
Experimental reconstruction and simulation of mental models
On the dynamics of mental models
Analysing complex tasks with an extended GOMS model
Visualization of Program Structures: Support Concepts and Implementation
Visualization in Human-Computer Interaction, 7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24-27, 1988, Selected Contributions
Domain representation and student modelling in a microworld for elastic impacts
An experimental study on mental models in database search
Implementing direct manipulation query languages using an adequate data model
Problem solving research and human-computer interaction
Solving interpolation problems with LOGO and BOXER
Cognitive processes in information retrieval
The importance of models in marking complex
Compiler aspects of an environment for programming by demonstration
Mental models and the evaluation of user interfaces: a case-study of a library system
On the relationship between a user'self-teaching and his knowledge
A software engineering environment for developing human-computer interfaces
A Decisional Framework for Concurrent Planning of Multiple Projects and Supply Chain Network
Quality Economic Losses in Brazil's Pork Industry
A Joint Freight Catchment and Cost Benefit Analysis to Assess Rail Urban Logistics Scenarios
Collaborative Shipping Under Information Distortion
Prerequisites for Successful Production Transfers in the Electronics Industry
Information Systems, Logistics, and Supply Chain - 6th International Conference, ILS 2016, Bordeaux, France, June 1-4, 2016, Revised Selected Papers
Optimal Transmission Network Topology for Resilient Power Supply
Innovation in Services on a Logistics Operator and Its Contribution to Efficiency in the Supply Network
Strategic Fit of Planning Environments: Towards an Integrated Framework
A Decision Support System for Optimizing the Last-Mile by Mixing Traditional and Green Logistics
Optimization of Order Batching in a Picking System with a Vertical Lift Module
Determining Routes for an Auxiliary Fleet in Presence of Emergencies on a Railway Line
The Aftermath of Implementing Collaboration in a Network of Sawmills: A Retrospective Analysis on Logistics Costs
Coalitions in Collaborative Forest Transportation Across Multiple Areas
5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010
Correctness Proofs for Device Drivers in Embedded Systems
Structuring Interactive Correctness Proofs by Formalizing Coding Idioms
Towards Proving Security in the Presence of Large Untrusted Components
Counterexample-Guided Abstraction Refinement for PLCs
Automatic Derivation of Abstract Semantics From Instruction Set Descriptions
Verification of Stack Manipulation in the SCIP Processor
Verification of Dependable Software using SPARK and Isabelle
Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts
A Tool for the Certification of Sequential Function Chart based System Specifications
Adaptable Value-Set Analysis for Low-Level Code
Loop Refinement Using Octagons and Satisfiability
6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, The Netherlands, August 26, 2011
A Precise Memory Model for Low-Level Bounded Model Checking
Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools
dBug: Systematic Evaluation of Distributed Systems
Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009
Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008
Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed
Lyrebird - Assigning Meanings to Machines
Experiments with Geographic Evidence Extracted from Documents
IPL at CLEF 2016 Medical Task
Tweet Contextualization: a Strategy Based on Document Retrieval Using Query Enrichment and Automatic Summarization
The CLEF 2004 Cross-Language Image Retrieval Track
MIRACLE's 2005 Approach to Geographical Information Retrieval
Source Retrieval Plagiarism Detection based on Weighted Noun phrase and Key phrase Extraction
Stacked Gender Prediction from Tweet Texts and Images: Notebook for PAN at CLEF 2018
Check_square at CheckThat! 2020 Claim Detection in Social Media via Fusion of Transformer and Syntactic Features
Rethinking the Evaluation Methodology of Authorship Verification Methods
Web Person Name Disambiguation by Relevance Weighting of Extended Feature Sets
Detailed Comparison Module in CoReMo 1.9 Plagiarism Detector
Multilingual Information Filtering by Human Plausible Reasoning
Language Variety and Gender Classification for Author Profiling in PAN 2017
FoSIL at CheckThat!-2022: Using Human Behaviour-Based Optimization for Text Classification
Comparing User-assisted and Automatic Query Translation
Stream-Based Recommendations: Online and Offline Evaluation as a Service
Domain Specific Mono- and Bilingual English to German Retrieval Experiments with a Social Science Document Corpus
X-ray Image Body Part Clustering using Deep Convolutional Neural Network: SNUMedinfo at ImageCLEF 2015 Medical Clustering Task
Resolving Translation Ambiguity using Monolingual Corpora. A Report on Clairvoyance CLEF-2002 Experiments
Classifying Clinical Case Studies with ICD-10 atCodiesp CLEF eHealth 2020 Task 1-Diagnostics
Style Change Detection Based On Bert And Conv1d
Using Bayesian Network for Conceptual Indexing: Application to Medical Document Indexing with UMLS Metathesaurus
Cross Language Experiments at Persian@CLEF 2008
FIRE - Flexible Image Retrieval Engine: ImageCLEF 2004 Evaluation
Elhuyar-IXA: Semantic Relatedness and Cross-lingual Passage Retrieval
VC-I2R@ImageCLEF2017: Ensemble of Deep Learned Features for Lifelog Video Summarization
UniGe at CLEF 2009 Robust WSD Task (abstract only)
Data-Centric and Model-Centric Approaches for Biomedical Question Answering
SZTAKI @ ImageCLEF 2011
Identifying Predators Using ChatCoder 2.0
ARC-NLP at PAN 2023: Hierarchical Long Text Classification for Trigger Detection
Addressing Social Bias in Information Retrieval
Audio Features, Precomputed for Podcast Retrieval and Information Access Experiments
Working with Russian Queries for the GIRT, Bilingual, and Multilingual CLEF Tasks
Overview of the Wikipedia Retrieval Task at ImageCLEF 2010
Answer Validation on English and Romanian Languages
University of Hagen at CLEF 2008: Answer Validation Exercise
Overview of HIPE-2022: Named Entity Recognition and Linking in Multilingual Historical Documents
Subtopic Mining Based on Head-Modifier Relation and Co-occurrence of Intents Using Web Documents
Improved Automatic Bird Identification through Decision Tree based Feature Selection and Bagging
BUAA AUDR at ImageCLEF 2012 Medical Retrieval Task
Towards transfer learning using BERT for early detection of self-harm of social media users
A translation-oriented categorisation of wordplays
Multilingual and Multimodal Information Access Evaluation, International Conference of the Cross-Language Evaluation Forum, CLEF 2010, Padua, Italy, September 20-23, 2010. Proceedings
Applying Logic Forms and Statistical Methods to CL-SR Performance
Authorship Identification Using a Reduced Set of Linguistic Features
DIPS at CheckThat! 2021: Verified Claim Retrieval
Applying Dependency Trees and Term Density for Answer Selection Reinforcement
PlantNet Participation at LifeCLEF2014 Plant Identification Task
Thomson Legal and Regulatory Experiments at CLEF-2005
Blind Relevance Feedback for the ImageCLEF Wikipedia Retrieval Task
Prior Art Retrieval Using Various Patent Document Fields Contents
Team riyahsanjesh at PAN: Multi-feature with CNN and Bi-LSTM Neural Network Approach to Style Change Detection
Resolving Translation Ambiguity Using Monolingual Corpora
Cross-Language High Similarity Search Using a Conceptual Thesaurus
Overview of ImageCLEF 2018 Medical Domain Visual Question Answering Task
Identifying Ironic Content Spreaders on Twitter using Psychometrics, Contextual and Ironic Features with Gradient Boosting Classifier
UAIC at iCLEF 2009: Analysis of Logs of Multilingual Image Searches in Flickr
CLEF 2000 - Overview of Results
The CHiC Interactive Task (CHiCi) at CLEF2013
Cross-Language Information Retrieval Using Dutch Query Translation
ImageSem Group at ImageCLEFmedical Caption 2022 task: Generating Medical Image Descriptions based on Vision-Language Pre-training
Working Notes for CLEF 2009 Workshop co-located with the 13th European Conference on Digital Libraries (ECDL 2009) , Corfù, Greece, September 30 - October 2, 2009
Cracking Down on Digital Misogyny with MULTILATE a MULTImodaL hATE Detection System
Fusion of Retrieval Models at CLEF 2008 Ad Hoc Persian Track
Question Answering in Spanish
CLEFeHealth2012 - The CLEF 2012 Workshop on Cross-Language Evaluation of Methods, Applications, and Resources for eHealth Document Analysis
Overview of eRisk at CLEF 2020: Early Risk Prediction on the Internet (Extended Overview)
Overview of BioASQ 2024: The Twelfth BioASQ Challenge on Large-Scale Biomedical Semantic Indexing and Question Answering
Effects of Visual Concept-based Post-retrieval Clustering in ImageCLEFphoto 2008
Social Book Search Track: ISM@CLEF'16 Suggestion Task
Exploring Argument Retrieval for Controversial Questions Using Retrieve and Re-rank Pipelines
CUCPLUS at CheckThat!-2023: Text Combination and Regularized Adversarial Training for News Media Factuality Evaluation
CLaC at ImageCLEFPhoto 2008
ELECTROLBERT: Combining Replaced Token Detection and Sentence Order Prediction
Authorship Attribution in Fan-fictional Texts given Variable Length Character and Word n-grams
Multilingual Clinical NER for Diseases and Medications Recognition in Cardiology Texts using BERT Embeddings
University of Hagen at CLEF 2007: Answer Validation Exercise
Investigating the Impact of Environmental Data on ALS Prognosis with Survival Analysis
Multimedia Lab @ ImageCLEF 2018 Lifelog Moment Retrieval Task
Brown at CL-SR'07: Retrieving Conversational Speech in English and Czech
Report on CLEF-2002 Experiments: Combining Multiple Sources of Evidence
Overview of PAN 2021: Authorship Verification, Profiling Hate Speech Spreaders on Twitter, and Style Change Detection
Identifying the Most Suitable Stemmer for the CHiC Multilingual Ad-hoc Task
Testing Lexical Approaches in QA4MRE
NITK-IT_NLP at CheckThat!-2022: Window based approach for Fake News Detection using transformers
University of Hagen at GeoCLEF 2008: Combining IR and QA for Geographic Information Retrieval
Query Clauses and Term Independence
Exploring Document Expansion for Argument Retrieval
Océ at CLEF 2003
BiTeM Site Report for the Claims to Passage Task in CLEF-IP 2012
Overview of the SBS 2016 Interactive Track
Author Verification: Basic Stacked Generalization Applied To Predictions from a Set of Heterogeneous Learners - Notebook for PAN at CLEF 2015
Using an Information Retrieval System for Video Classification
Analysis of the Reliability of the Multilingual Topic Set for the Cross Language Evaluation Forum
Local Query Expansion Using Terms Windows for Robust Retrieval
Multimodal science communication: from documentary research to infographic via mind mapping
An Ensemble Approach to Cross-Domain Authorship Attribution
BirdCLEF 2021: building a birdcall segmentation model based on weak labels
Multilingual Information Access for Text, Speech and Images, 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers
Scientific Data of an Evaluation Campaign: Do We Properly Deal With Them?
Overview of the ImageCLEF 2016 Handwritten Scanned Document Retrieval Task
Robust Question Answering for Speech Transcripts: UPC Experience in QAst 2008
Baseline Machine Learning Approaches To Predict Multiple Sclerosis Disease Progression
A Hierarchical Attention Network for Bots and Gender Profiling
University of Amsterdam at the CLEF 2024 SimpleText Track
Using Media Fusion and Domain Dimensions to Improve Precision in Medical Image Retrieval
A Logic Programming Based Approach to QA@CLEF05 Track
QA at ILC-UniPI: Description of the Prototype
The DIOGENE Question Answering System at CLEF-2004
Style-based Distance Features for Author Profiling Notebook for PAN at CLEF 2013
CLEF-IP 2011: Retrieval in the Intellectual Property Domain
Finding Answers in the Œdipe System by Extracting and Applying Linguistic Patterns
Toward Cross-Language and Cross-Media Image Retrieval
CLEF 2011 Labs and Workshop, Notebook Papers, 19-22 September 2011, Amsterdam, The Netherlands
Inria's Participation at ImageCLEF 2013 Plant Identification Task
Bird Classification using Ensemble Classifiers
Overview of the SBS 2016 Suggestion Track
Overview of PlantCLEF 2024: Multi-species Plant Identification in Vegetation Plot Images
Report on CLEF 2003 Experiments at UB
Assembling Heterogeneous Domain Adaptation Methods for Image Classification
MIRACLE's Hybrid Approach to Bilingual and Monolingual Information Retrieval
Application of Variable Length N-gram Vectors to Monolingual and Bilingual Information Retrieval
Large-Scale Bird Sound Classification using Convolutional Neural Networks
Using Sentence Similarity Measure for Plagiarism Source Retrieval
A Component-Level Analysis of an Academic Search Test Collection. - Part II: Query Analysis
KU-DMIS at BioASQ 9: Data-centric and model-centric approaches for biomedical question answering
Evaluation of Diversity-Focused Strategies for Multimedia Retrieval
CIC at CheckThat! 2021: Fake News detection Using Machine Learning And Data Augmentation
UNED at WebCLEF 2008: Applying High Restrictive Summarization, Low Restrictive Information Retrieval and Multilingual Techniques
Analysis of Word Sense Disambiguation-Based Information Retrieval
General Overview of ImageCLEF at the CLEF 2015 Labs
A Plant Identification System using Shape and Morphological Features on Segmented Leaflets: Team IITK, CLEF 2012
Italian Text Retrieval for CLEF 2000 at ITC-irst
Philosophy of IR Evaluation
Vayam Solve Kurmaha @ CLEF 2024: Task 2: Humor Classification according to Genre and Technique using BERT Embeddings and Transformers
Are Test Collections "Real"? Mirroring Real-World Complexity in IR Test Collections
Notebook for PAN at CLEF 2022: Profiling Irony and Stereotype Spreaders on Twitter
KDEVIR at ImageCLEF 2013 Image Annotation Subtask
Image Retrieval and Annotation Using Maximum Entropy
Evaluating a Conceptual Indexing Method by Utilizing WordNet
DEMIR at ImageCLEFMed 2011: Evaluation of Fusion Techniques for Multimodal Content-based Medical Image Retrieval
Indigo at CheckThat! 2024: Using Setfit: A Resource Efficient Technique for Subjectivity Detection in News Article
Ambiguity of Queries and the Challenges for Query Language Detection
Text-Based Clustering of the ImageCLEFphoto Collection for Augmenting the Retrieved Results
DFKI-LT at QA@CLEF 2007
Coral Reef Annotation, Localisation and Pixel-wise Classification using Mask-RCNN and Bag of Tricks
Overview of the CLEF-2023 CheckThat! Lab Task 5 on Authority Finding in Twitter
Pixel Phantoms at Touché: Ideology and Power Identification in Parliamentary Debates using Linear SVC
UNED at iCLEF 2005: Automatic Highlighting of Potential Answers
Using Translated Data to Improve Deep Learning Author Profiling Models: Notebook for PAN at CLEF 2018
Monolingual Retrieval Experiments with a Domain-Specific Document Corpus at the Chemnitz University of Technology
The University of Lisbon at GeoCLEF 2007
Classification of Tuberculosis Type on CT Scans of Lungs using a fusion of 2D and 3D Deep Convolutional Neural Networks
RGU at ImageCLEF2010 Wikipedia Retrieval Task
A Comparative Study of Diversity Methods for Hybrid Text and Image Retrieval Approaches
Report on CLEF-2001 Experiments
Addressing the ImageClef 2009 Challenge Using a Patch-based Visual Words Representation
Palöri at CheckThat! 2024 Shared Task 6: GloTa - Combining GloVe Embeddings with RoBERTa for Adversarial Attack
Exploring Argument Retrieval with Transformers
SINAI at CLEF 2006 Ad Hoc Robust Multilingual Track: Query Expansion Using the Google Search Engine
MetaCarta at GeoCLEF 2005
DIRECTions: Design and Specification of an IR Evaluation Infrastructure
Overview of ImageCLEFmedical 2023 - Medical Visual Question Answering for Gastrointestinal Tract
Evaluating Interactive Cross-Language Information Retrieval: Document Selection
Question Answering for Machine Reading Evaluation on Romanian and English Languages
Experiments with Citation Mining and Key-Term Extraction for Prior Art Search
University of Ottawa's Contribution to CLEF 2005, the CL-SR Track
SU@PAN'2016: Author Obfuscation
TALP at GeoCLEF 2006: Experiments Using JIRS and Lucene with the ADL Feature Type Thesaurus
Conceptual Image Retrieval over a Large Scale Database
USDB at eRisk 2020: Deep Learning Models to Measure the Severity of the Signs of Depression using Reddit Posts
Finnish, Portuguese and Russian Retrieval with Hummingbird SearchServer™ at CLEF 2004
MLKD's Participation at the CLEF 2011 Photo Annotation and Concept-Based Retrieval Tasks
Profiling Spreaders of Hate Speech with N-grams and RoBERTa
University of Hagen at QA@CLEF 2006: Answer Validation Exercise
WebShodh: A Code Mixed Factoid Question Answering System for Web
Overview of the Answer Validation Exercise 2007
Some Terms are more Interchangeable than Others
TALP-QA System for Spanish at CLEF-2004
Team Text Understanding and Analysis at PAN: Utilizing BERT Series Pre-training Model for Multi-Author Writing Style Analysis
Person Attribute Extraction from the Textual Parts of Web Pages
MIRACLE Team Report for ImageCLEF IR in CLEF 2006
Overview of EXIST 2025: Learning with Disagreement for Sexism Identification and Characterization in Tweets, Memes, and TikTok Videos
Language Modeling in Temporal Mood Variation Models for Early Risk Detection on the Internet
TextTrojaners at CheckThat! 2024: Robustness of Credibility Assessment with Adversarial Examples through BeamAttack
Caption and Query Translation for Cross-Language Image Retrieval
Index-Based Semantic Tagging for Efficient Query Interpretation
CeDRI at eRisk 2021: A Naive Approach to Early Detection of Psychological Disorders in Social Media
EvolutionTeam at CLEF2020 - CheckThat! lab : Integration of Linguistic and Sentimental Features in a Fake News Detection Approach
Cocoa: Extending a Rule-based System to Tag Disease Attributes in Clinical Records
Intelligent Information Access Systems (SINAI) at CLEF 2001: Calculating Translation Probabilities with SemCor
Pixelwise annotation of coral reef substrates
An Interactive Two-Dimensional Approach to Query Aspects Rewriting in Systematic Reviews. IMS Unipd At CLEF eHealth Task 2
ImageCLEF 2010 Working Notes on the Modality Classification Subtask
Bengali and Hindi to English CLIR Evaluation
MLT-DFKI at CLEF eHealth 2019: Multi-label Classification of ICD-10 Codes with BERT
Bird-Species Audio Identification, Ensembling of EfficientNet-B0 and Pre-trained EfficientNet-B1 model
Non-local DenseNet for Plant CLEF 2019 Contest
Overview of BirdCLEF 2018: Monospecies vs. Sundscape Bird Identification
Profiling Hate Speech Spreaders on Twitter Task at PAN 2021
Dublin City University at CLEF 2005: Experiments with the ImageCLEF St Andrew's Collection
Know-Center at PAN 2015 Author Identification: Notebook for PAN at CLEF 2015
Query Expansion by Word Embedding in the Suggestion Track of CLEF 2016 Social Book Search Lab
Task 2: ShARe/CLEF eHealth Evaluation Lab 2013
Classifier for fake news detection and Topical Domain of News Articles
UNED-MED at eRisk 2022: depression detection with TF-IDF, linguistic features and Embeddings
UArizona at the CLEF eRisk 2017 Pilot Task: Linear and Recurrent Models for Early Depression Detection
Adaptation of LIMSI's QALC for QA4MRE
s-AWARE: Supervised Measure-Based Methods for Crowd-Assessors Combination
Across the Bridge: CLEF 2001 - Non-english Monolingual Retrieval. The French Task
Tlatlamiztli: Fine-Tuned RoBERTuito for Sexism Detection
An Evolutionary Approach to Build User Representations for Profiling of Bots and Humans in Twitter