yusuke1997/dblp-id-title huggingface dataset:
Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling
An Efficient Implementation of Graph Grammars Based on the RETE Matching Algorithm
Correctness of Graph Programs Relative to HR + Conditions
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages
Patch Graph Rewriting
Probabilistic Metric Temporal Graph Logic
Specification Matching of Web Services Using Conditional Graph Transformation Rules
Practical Applications of Precedence Graph Grammars
Incremental Pattern Matching for the Efficient Computation of Transitive Closure
Tutorial Introduction to Graph Transformation
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes
Conflict Detection for Graph Transformation with Negative Application Conditions
Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings
Termination of Injective DPO Graph Rewriting Systems Using Subgraph Counting
Checking Transaction Isolation Violations Using Graph Queries
Attribute Handling for Generating Preconditions from Graph Constraints
A Monoidal View on Fixpoint Checks
An Algebraic Theory of Graph Reduction
Advances in array languages
An Application of Graph Grammars to the Elimination of Redundancy from Functions Defined by Schemes
Adhesive High-Level Replacement Categories and Systems
Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Rewriting for Traced Monoidal Closed Categories
Describing Göttler's Operational Graph Grammars with Pushouts
Finitary ℳ-Adhesive Categories
Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements
Non-materialized Model View Specification with Triple Graph Grammars
A Rule-Based Procedure for Graph Query Solving
Using Graph Transformations and Graph Abstractions for Software Verification
A Note on Graph Decimation
Triple Graph Grammars and OCL for Validating System Behavior
Efficient Model Synchronization with Precedence Triple Graph Grammars
Programmed Graph Replacement Systems
Model View Management with Triple Graph Transformation Systems
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
TERMGRAPH 2002 - Workshop Survey
The BC-Chain Method for Representing Combinators in Linear Space
A Portable Logic Simulation System for Development of FLATS Machine
Multiversion Concurrency Control Scheme for a Distributed Database System - A Trial to Break Concurrent Update of Redundant Copies
OR-Parallel Optimizing Prolog System: POPS. Its Design and Implementation in Concurrent Prolog
A Pattern Matching Algorithm in Binary Trees
Evaluation of Working Set Algorithms for Data-flow Machines
List Processing with a Data Flow Machine
Towards the Design and Implementation of Object Oriented Architecture
Relational Algebra Machine GRACE
RIMS Symposium on Software Science and Engineering, Kyoto, Japan, 1982, Proceedings
Incorporating Naïve Negation into Prolog
Hardware Algorithms and Logic Design Automation. An Overview and Progress Report
Treatment of Big Values in an Applicative Language HFP
Comparison of Closure Reduction and Combinatory Reduction Schemes
Polynomial Time Inference of Extended Regular Pattern Languages
A Fast Parallel Merging Algorithm for 2-3 trees
On Equivalence Transformations for Term Rewriting Systems
Circuit Simulation Code Generation by Computer Algebra
Algebraic Specification Method of Programming Languages
RIMS Symposia on Software Science and Engineering II, Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
Effect of Practical Assumption in Area Complexity of VLSI Computation
An Algorithm for Intelligent Backtracking
DURAL: an Extended Prolog Language
Evaluation of Graph Representations with Active Nodes
On Program Transformation with Tupling Technique
Parital Computation of Programs
Vocabulary Building for Database Queries
Partial Computation with a Dataflow Machine
After 24 Years in AI: Some Lessons
Are Intelligent Tutoring Systems Useful for Learning in Technical Environments?
The Effect of AI Applications on Graduate Education in Turkey
Changing Philosophy of Teaching Artificial Intelligence
Design of Knowledge-based Systems
Expert-Tutoring Systems: Architecture and Development Tools
Short History and Present State of the Artificial Intelligence at the Technical University in Pilsen
Epistemological Challenges for the Next Generation AI and Expert Systems
Cognitive Robot Education and Image Processing Research at the Czech Technical University of Prague
A. I. Means Advanced Informatics
PROLOG and the Teaching of Artificial Intelligence at the Technical University of Kosice
Artificial Intelligence in Higher Education, CEPES-UNESCO International Symposium, Prague, Czechoslovakia, October 23-25, 1989, Proceedings
Second Generation Expert Systems in Education and Engineering Practice
AI Techniques in the Curriculum of Engineering Students
Teaching Artificial Intelligence at the Faculty of Mathematics and Physics, Charles University
Teaching Students of Electrical Engineering AI Methods
The FEL-EXPERT Project - Applications in Education
Linguistic Aspects of AI
Logic Programming in Artificial Intelligence Education
Expert Systems in Higher Education - Advanced Techniques in the System OREST
A Knowledge-based System for CAPP
A Proposal for an Undergraduate Degree in the Uses of Logic
A. I. in the Undergraduate Programme at Loughborough
The Impact of Artificial Intelligence on Education: Opening New Windows
The Advent of Artificial Intelligence
Uses of Artificial Intelligence on Computer Based Instruction
A New Framework for Describing and Designing Intelligent Tutoring Systems
Artificial Intelligence and Humanistic Informatics
AI Education and Logic
Knowledge Engineering Research and Training at the Department of Scientifioc and Technical Information, Prague School of Economics
Toward the Design of Adaptive Instructions and Helps for Knowledge Communication with the Problem Solving Monitor ABSYNT
Performance Evaluation of G.711 and GSM Codecs on VoIP Applications Using OSPF and RIP Routing Protocols
The 7th International Conference on Wireless, Intelligent and Distributed Environment for Communication - WIDECOM 2024, Keene State College, Durham, NH, USA, October 16-18, 2024
Transforming Agriculture: Disease and Pest Management Through CNN-Based Image Classification in Computer Vision
Optimized Smart Insole Design for Temporal Gait Parameter Measurement
Deep Reinforcement Learning-Based Open and Hybrid Switching-Driven Software-Defined Networking: Adaptability and Comparison
Design of Energy-Aware PRoPHET and Spray-and-Wait Routing Protocols for Opportunistic Networks
Enhanced Public Safety: Real-Time Crime Detection with CNN-LSTM in Video Surveillance
Feasibility of Adversarial Attacks Against Machine Learning Models
Anomaly Detection in PD-NOMA Cognitive Radio IoT Networks
Understanding Optimizations and Measuring Performances of PBKDF2
PSARV: Particle Swarm Angular Routing in Vehicular Ad Hoc Networks
Real-Time Spectrum Occupancy Prediction
A Reliable Firefly-Based Routing Protocol for Efficient Communication in Vehicular Ad Hoc Networks
White-Box Cryptography: A Time-Security Trade-Off for the SPNbox Family
SCC-LBS: Secure Criss-Cross Location-Based Service in Logistics
Exploring the Application of Random Sampling in Spectrum Sensing
Breast Cancer Histology Image Segmentation Using Connected Component Analysis
2nd International Conference on Wireless Intelligent and Distributed Environment for Communication, WIDECOM 2019, Milan, Italy, February 11-13, 2019
Exploiting ST-Based Representation for High Sampling Rate Dynamic Signals
Machine Learning Algorithms for Energy Consumption Prediction in Smart Homes: A Comparative Study
Cyclic Redundancy Check Based Data Authentication in Opportunistic Networks
Hybrid Cryptographic Based Approach for Privacy Preservation in Location-Based Services
Performance Analysis of A ∗ -Based Hop Selection Technique in Opportunistic Networks Through Movement Mobility Models
Maximum Eigenvalue Based Detection Using Jittered Random Sampling
Data Loss Prevention Using Document Semantic Signature
An Asymmetric RSA-Based Security Approach for Opportunistic IoT
Survey-Based Machine Learning Models for Early Detection of Diabetes
IoT Device Fingerprinting for Anomaly Detection
Implicit Test Case Identification/Selection for Test Case Prioritization Using Natural Language Processing
Optimizing Wearable Sensors with Multifeature Approximate Computing
Prevention of Flooding Attacks in Mobile Ad Hoc Networks
CESIS : Cost-Effective and Self-Regulating Irrigation System
Remotely Keyed Encryption Using Non-Encrypting Smart Cards
Feasibility of the Smart Card in Silicon-On-Insulator (SOI) Technology
Breaking Up Is Hard To Do: Modeling Security Threats for Smart Cards
Beyond Cryptographic Conditional Access
Investigations of Power Analysis Attacks on Smartcards
Providing Authentication to Messages Signed with a Smart Card in Hostile Environment
Which Security Policy for Multiplication Smart Cards?
Proceedings of the 1st Workshop on Smartcard Technology, Smartcard 1999, Chicago, Illinois, USA, May 10-11, 1999
A Portable Solution for Mutual Authentication
Object Lifetimes in Java Card
PKCS#15 - A Cryptographic Token Information Format Standard
A Personal Naming and Directory Service
Authenticating Secure Tokens Using Slow Memory Access
Software License Management with Smart Cards
Java Card Secure Object Sharing
SCFS: A UNIX Filesystem for Smartcards
Design Principles for Tamper-Resistant Smartcard Processors
Efficient Block Ciphers for Smartcards
Risks and Potentials of Using EMV for Internet Payments
Smartcard Integration with Kerberos V5
Multi-projector display with continuous self-calibration
Projector camera system for realtime 3D scanning
Free form projection display and application
Reducing resolution loss in two-pass rendering by optimal view directions and display-surface partitioning
A geometric correction method for projected images using SIFT feature points
Calibrating multi-projector cylindrically curved displays for "wallpaper" projection
Mesostructure from specularity using gradient illumination
Software-based distortion compensation for a scanned beam display
Measurement of 3D foot shape deformation in motion
Real world dynamic appearance enhancement with procam feedback
Anywhere pixel router
Robust checkerboard recognition for efficient nonplanar geometry registration in projector-camera systems
Color mixing property of a projector-camera system
Proceedings of the 5th ACM/IEEE International Workshop on Projector camera systems, PROCAMS '08, Marina del Rey, California, USA, August 10, 2008
Shadow multiplexing for single camera visual hull reconstruction
A new system to acquire and restore document shape and content
Quiz for diskusjon og samarbeid i store klasser
Flexible Devices for Arctic Ecosystems Observations
Product descriptions as Programs: a Case Study
Economic Markets for Video Streaming Services: A Case Study of Netflix and Popcorn Time
Forord til NIK 2018
Requirement Engineering for a Small Project with Pre-Specified Scope
VisAST: Generic AST Visualiser for Software Language Education
Exploring future C++ features within a geometric modeling context
Transitioning to Flipped Classroom - an experience report
Visualizing 3D geology in web browsers using X3DOM
A Measurement-Driven Approach to Understand Urban Greenhouse Gas Emissions in Nordic Cities
FlashRL: A Reinforcement Learning Platform for Flash Games
Active learning and student peer assessment in a web development course
Simplified Ocean Models on the GPU
Seadrive - Remote file synchronization for offshore fleets (short paper)
Multi-GPU Rendering with the open Vulkan API
Energiautomater, energifunktioner og Kleene-algebra
Quasi Spin Images
Quantifying Influence of Strategies and Network Properties in Repairing Simultaneous Failures in Smart Grid
Programmering som et pedagogisk verktøy i matematikkundervisningen
CTL Model Checking with the Sweep-line State Space Exploration Method
Improved color edge preserving smoothing
Mandatory coursework in higher Norwegian IT education
viSQLizer: Using visualization for learning SQL
Evaluating Population Based Training on Small Datasets
Escape Local Minima with Improved Particle Swarm Optimization Algorithm
An automatic image-based system for detecting wild and stocked fish
Autonomous Vehicle Control: End-to-end Learning in Simulated Environments
Using Visualization and Pedagogical Patterns in Support of Undergraduate Students with Autism Spectrum Disorders
Data and knowledge manangement in field studies A case for semantic technologies
Tools for image annotation Using context-awareness, NFC and image clustering
Training Googles SyntaxNet to understand Norwegian Bokmål and Nynorsk (short paper)
Recent Trends in Software Testing Education: A Systematic Literature Review
A Genetic Approach to Tuning Compact Trie Clustering
An experience report using Scrimba: An interactive and cooperative web development tool in a blended learning setting
Evaluating accessibility testing in automated software build processes
Automatic Parameter Optimisation of Service Quality and Resource Usage
Interactive modelling and simulation using blending techniques
Translating 2D art into Virtual Reality and comparing the user experiences
Clustering Methods for Electricity Consumers: An Empirical Study in Hvaler - Norway
Students' mental models of references in Python
LEGO Mindstorms og MATLAB; anvendt matematikk/fysikk og programmering i skjønn forening
Search-based composed refactorings
Introducing Selective Undo Features in a Collaborative Editor
Thirty Years of NIK: A Bibliometric Study of Paper Impact and Changes in Publication Patterns
Kvik: Interactive exploration of genomic data from the NOWAC postgenome biobank
Edge Pixel Classification Using Automatic Programming
The Pocket Reasoner -- Automatic Reasoning on Small Devices
Gender Differences in Computer Science Education: Lessons Learnt from an Empirical Study at NTNU
MORTAL - Multiparadigm Optimizing Retargetable Transdisciplinary Abstraction Language
ADIOS LDA: When Grammar Induction Meets Topic Modeling
Survey of interactions in popular VR experiences
Deadlock detection of active objects with synchronous and asynchronous method calls
Improving the Canny Edge Detector Using Automatic Programming: Improving Hysteresis Thresholding
Achieving Accessible Rich Internet Applications
Dynamic virtualization of AliEn grid jobs using the Vmbatch system
Surveying GeoNames Gazetteer Data for the Nordic Countries
Passion, Cooperation and JavaScript: This is what the industry is looking for in a recently graduated computer programmer
Forord til UDIT 2015
Evaluating the efficiency of the association football transfer market using regression based player ratings
Reusable Multi-selection in Touch-Screen User Interfaces
Parallel Feature Selection Using Only Counts
Mikroforelesninger med programmering i MATLAB - Blandet læring i Ingeniørfaglig innføringsemne
Et informatikkperspektiv på norsk lovgivning om karakterklager i høyere utdanning
Adapted Sensor Data Visualization on a Smartphone: The Case of a Fire Emergency Rescue Application
29th Norsk Informatikkonferanse, NIK 2016, Høgskolen i Bergen, Bergen, Norway, November 28-30, 2016
Latency Thresholds for Usability in Games: A Survey
Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model
Forord til NIK 2019 og UDIT 2019
31st Norsk Informatikkonferanse, NIK 2018, Universitetet i Oslo, Oslo, Norway, September 18-20, 2018
E-exams and exam process improvement
Nerding for Newbies 2014 A Summer School in Computers & Programming
Automated salamander recognition using deep neural networks and feature extraction
Experiences using video technologies in teaching programming
Named-Entity Chunking for Norwegian Text using Support Vector Machines
Formell modellering av kravet til årsakssammenheng i norsk erstatningsrett
Scalability of Distributed Version Control Systems
Erfaringer fra strukturert peer review ved bruk av et egetutviklet sensureringsprogram
Visual Query Formulation for Linked Open Data: The Norwegian Entity Registry Case
New Iterative Algorithms for Weighted Matching
32nd Norsk Informatikkonferanse, NIK 2019, UIT Norges Arktiske Universitet, Narvik, Norway, November 25-27, 2019
Model-driven engineering in RDF - a way to version control
27th Norsk Informatikkonferanse, NIK 2014, Høgskolen i Østfold, Fredrikstad, Norway, November 17-19, 2014
Finite element method application of ERBS triangles
Full Approximation Scheme for Reservoir Simulation
Analysis of Feature-Completeness in Android Cross-Platform Frameworks
A faster all parallel Mergesort algorithm for multicore processors
Unveiling the Data Shadow: A Scalable Software Architecture for Public Health and Electronically Assessed Data
Evaluating prediction models for electricity consumption
En eksempel-studie av automatisk tilbakemelding for programmeringsfag i høyere utdanning
Evaluation of team dynamics in Norwegian projects for IT students
Den tause kunnskapen i IT-studia
EEG Biometrics: On the Use of Occipital Cortex Based Features from Visual Evoked Potentials
Human Activity Recognition by machine learning methods
Matematikk er eit pratefag og andre røynsler frå eit omvendt klasserom
Dypevaluering avå studentenes læring - - Er fokusgrupper svaret?
A full parallel Quicksort algorithm for multicore processors
Aggregation of probabilisitic logically related judgments
nsroot: Minimalist process isolation tool implemented with Linux namespaces
Forord til NIK 2016 og UDIT 2016
Blending functions based on trigonometric and polynomial approximations of the Fabius function
Geological Multi-scenario Reasoning
Bruk av norsk talegjenkjenning for virtuelle besøk innen helsesektoren
How companies find and evaluate graduate computer programmers
Errors as Data Values
Realistic face manipulation by morphing with average faces
The Aamodt and Kjus problem
Forord til NIK 2015
Effect of Data from Neighbouring Regions to Forecast Dengue Incidences in Different Regions of Philippines Using Artificial Neural Networks
Stream-based dynamic data race detection
Parallell Slump
30th Norsk Informatikkonferanse, NIK 2017, Westerdals Oslo ACT, Oslo, Norway, November 27-29, 2017
Investigating Optimal Progress Measures for Verification of the WebSocket Protocol
Pass/Fail Grading and Educational Practices in Computer Science
Exploring Global Thinking and Team-based Reflection in a Flipped Classroom
Implementing Asimov’s First Law of Robotics
Investigating students' journey through a computer science program using exam data: three new approaches
Evaluating Semantic Vectors for Norwegian
The legally mandated approximate language about AI
Jigsaw Language Toolkit
Predictive Reasoning in Subjective Bayesian Networks
Building sentiment Lexicons applying graph theory on information from three Norwegian thesauruses
Studentaktivisering gjennom bruk av hverandrevurdering for førstesemesters studenter i Canvas LMS: en forsøksstudie
CaSPL-gen: a Context-aware Software Product Line benchmark generator
28th Norsk Informatikkonferanse, NIK 2015, Høgskolen i Ålesund, Ålesund, Norway, November 23-25, 2015
Predicting Source Code Quality with Static Analysis and Machine Learning
Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems
Baseline Requirements for Comparative Research on Cross-Platform Mobile Development
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications
An Analysis Tool for Models of Virtualized Systems
RadixInsert, a much faster stable algorithm for sorting floating-point numbers
Mapping Data to Ontologies with Exceptions Using Answer Set Programming
Forord til NIK 2017
Flipped classroom in higher Norwegian IT education
A dynamically changing spline curve for the motion of a game character
RescUSim and IPython: An environment for offshore emergency preparedness planning
Achieving Accessible Websites - A study of Design and Development Processes in NRK
Advances in Multidisciplinary Retrieval, First Information Retrieval Facility Conference, IRFC 2010, Vienna, Austria, May 31, 2010. Proceedings
Logic-Based Retrieval: Technology for Content-Oriented and Analytical Querying of Patent Data
Multilingual Document Clustering Using Wikipedia as External Knowledge
Combining Wikipedia-Based Concept Models for Cross-Language Retrieval
Combining Interaction and Content for Feedback-Based Ranking
Patent and Norm Exploration with the m2n Knowledge Discovery Suite
News Articles Classification Using Random Forests and Weighted Multimodal Features
An Evaluation of an Interactive Federated Patent Search System
Extracting Nanopublications from IR Papers
An Investigation of Quantum Interference in Information Retrieval
Multidisciplinary Information Retrieval - 6th Information Retrieval Facility Conference, IRFC 2013, Limassol, Cyprus, October 7-9, 2013. Proceedings
Analyzing Query Logs of USPTO Examiners to Identify Useful Query Terms in Patent Documents for Query Expansion in Patent Searching: A Preliminary Study
Analyzing Parallelism and Domain Similarities in the MAREC Patent Corpus
Scaling Up High-Value Retrieval to Medium-Volume Data
Hierarchical Classification of Web Documents by Stratified Discriminant Analysis
Multilingual and Cross-Lingual News Analysis in the Europe Media Monitor (EMM) (Extended Abstract)
A Machine Learning Approach for Subjectivity Classification Based on Positional and Discourse Features
Fast Interactive Information Retrieval with Sampling-Based MDS on GPU Architectures
Generating Variant Keyword Forms for a Morphologically Complex Language Leads to Successful Information Retrieval with Finnish
Automatic Extraction and Resolution of Bibliographical References in Patent Documents
Word Clouds of Multiple Search Results
Sentence-Level Attachment Prediction
Designing Search Usability
Recall-Oriented Evaluation for Information Retrieval Systems
An Information Retrieval Model Based on Discrete Fourier Transform
Free-Text Search over Complex Web Forms
Which One to Choose: Random Walks or Spreading Activation?
Discovery of Environmental Nodes in the Web
Expanding Queries with Term and Phrase Translations in Patent Retrieval
PatMedia: Augmenting Patent Search with Content-Based Image Retrieval
Query Expansion for Language Modeling Using Sentence Similarities
When Text Authors Lived Using Undated Citations
Multidisciplinary Information Retrieval - Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011. Proceedings
Exploring Contextual Models in Chemical Patent Search
Domain Adaptation of General Natural Language Processing Tools for a Patent Claim Visualization System
Search Result Caching in Peer-to-Peer Information Retrieval Networks
Query Enhancement for Patent Prior-Art-Search Based on Keyterm Dependency Relations and Semantic Tags
An IR-Inspired Approach to Recovering Named Entity Tags in Broadcast News
Discovering Relevant Features for Effective Query Formulation
Multidisciplinary Information Retrieval - 7th Information Retrieval Facility Conference, IRFC 2014, Copenhagen, Denmark, November 10-12, 2014, Proceedings
Concept Extraction from Patent Images Based on Recursive Hybrid Classification
Web Searching with Entity Mining at Query Time
Building Queries for Prior-Art Search
Learning-Based Pseudo-Relevance Feedback for Patent Retrieval
Rank by Readability: Document Weighting for Information Retrieval
Analysis and Detection of Web Spam by Means of Web Content
Applying Web Usage Mining for Adaptive Intranet Navigation
Combined Language Processing Methods and Mash-Up System for Improving Retrieval in Diabetes Related Patents
Post OCR Correction of Swedish Patent Text - The Difference between Reading Tongue 'Lästunga' and Security Tab 'Låstunga'