yusuke1997/dblp-id-title huggingface dataset:
An Adaptive Aggregate Maintenance Approach for Mixed Workloads in Columnar In-Memory Databases
Lossless Image Compression Using Pixel Reordering
Efficient error localisation and imputation for real-world census data using SMT
Inference of Regular Languages using Model Simplicity
Cloth Animation with Adaptively Refined Meshes
A Novel Fuzzy Logic Based Bit Freezing Technique to Improve Gene Specific Co-regulation Discovery from Gene Expression Databases
Formalization of UML Statechart Models Using Concurrent Regular Expressions
A Dynamic Archive Based Niching Particle Swarm Optimizer Using a Small Population Size
Visually Sealed and Digitally Signed Documents
Learning Models for English Speech Recognition
Periodical Payment Model Using Restricted Proxy Certificates
23rd Australasian Computer Science Conference (ACSC 2000), 31 January - 3 February 2000, Canberra, Australia
Is computing for social good the solution to closing the gender gap in computer science?
Unpacking 'digital competency': exploring the pre-existing skills of enabling education students
Implementing a Family of Distributed Garbage Collectors
Adaptive Cooperative Fuzzy Logic Controller
Homeless and Home-based Lazy Release Consistency Protocols on Distributed Shared Memory
Automatic Derivation of Loop Termination Conditions to Support Verification
Domination Normal Form - Decomposing Relational Database Schemas
The Impact of Quanta on the Performance of Multi-level Time Sharing Policy under Heavy-tailed Workloads
An investigation of the state formation and transition limitations for prediction problems in recurrent neural networks
ParaAJ: toward Reusable and Maintainable Aspect Oriented Programs
Manufacturing opaque predicates in distributed systems for code obfuscation
A relational account of objects
Spectral debugging: How much better can we do?
The Geodesic Self-Organizing Map and Its Error Analysis
A New Term Ranking Method based on Relation Extraction and Graph Model for Text Classification
Design of a virtual trainer for exergaming
Estimating set intersection using small samples
Measuring Semantic Similarity in the Taxonomy of WordNet
Context-Sensitive Mobile Database Summarisation
Decreasing the digital divide: analysing the UI requirements of older Australians
An Implementation of Propositional Plausible Logic
Fast Handover in Clustered Wireless ATM
An Approach to Phrase Selection for Offline Data Compression
Analysis of Key Installation Protection using Computerized Red Teaming
Self-Adaptive Clock Synchronization Based on Clock Precision Difference
Parameter Passing for the Java Virtual Machine
Efficient contour line labelling for terrain modelling
Poisson Blended Exemplar-based Texture Completion
Establishing Trust In Pure Ad-hoc Networks
Using startle reflex to compare playing and watching in a horror game
Suffix Vector: Space- and Time-Efficient Alternative to Suffix Trees
A New Approach to Rapid Image Morphing for Lip Motion Synthesis
Dynamic Topic Detection Model by Fusing Sentiment Polarity
Measurement of IP and network tracking behaviour of malicious websites
Dynamic Visualisation of Software State
Building Hybrid Knowledge Representations from Text
Enhanced Word-Based Block-Sorting Text Compression
Tuning the Collision Test for Power
An efficient parallel algorithm for the maximum convex sum problem
Peer Assessment: Encouraging Reflection on Interface Design
P-Scheduler: adaptive hierarchical scheduling in apache storm
Systematically Deriving Partial Oracles for Testing Concurrent Programs
SPiKE: engineering malware analysis tools using unobtrusive binary-instrumentation
Reflection is hard: teaching and learning reflective practice in a software studio
Automatic thesaurus construction
Inductive Concept Learning in the Absence of Labeled Counter-Examples
Throughput fairness in k-ary n-cube networks
Product flow analysis in distribution networks with a fixed time horizon
Facilitating Learning in Advanced Computer Architecture through Appropriate Simulation
A Pedagogical Evaluation of New State Model Diagrams for Teaching Internetwork Technologies
Pruning subscriptions in distributed publish/subscribe systems
Making the DDA Run: Two-Dimensional Ray Traversal Using Runs and Runs of Runs
Layout of Bayesian Networks
Auction Based Resource Negotiation in NOMAD
Understanding players' map exploration styles
Integrating recommendation models for improved web page prediction accuracy
Efficient Cycle-Accurate Simulation of the Ultrasparc III CPU
Compact Layout of Layered Trees
User intervention in self-adaptive context-aware applications
Path-Planning by Tessellation of Obstacles
Automatic geospatial data conflation using semantic web technologies
Evaluation of tri-axial accelerometery data of falls for elderly through smart phone
Finding state collisions in the authenticated encryption stream cipher ACORN
Length-Restricted Coding Using Modified Probability Distributions
The Effect of Context and Application Type on Mobile Usability: An Empirical Study
Initialisation flaws in the A5-GMR-1 satphone encryption algorithm
GeoWeight: internet host geolocation based on a probability model for latency measurements
Scheduling Parallel Applications on Utility Grids: Time and Cost Trade-off Management
Human visual perception of region warping distortions
Bracket Capabilities for Distributed Systems Security
An empirical study of overriding in open source Java
Reducing Register Pressure Through LAER Algorithm
Starting with Termination: A Methodology for Building Distributed Garbage Collection Algorithms
Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking
A Trigger Counting Mechanism for Ring Topology
Refactoring Use Case Models: The Metamodel
Eye Atlas: an instructive resource for ophthalmology students and practitioners
Proceedings of the Australasian Computer Science Week Multiconference, Canberra, Australia, February 2-5, 2016
Improved Shortest Path Algorithms For Nearly Acyclic Directed Graphs
User Hints for Map Labelling
Web-Based Visualisations Supporting Rehabilitation of Heart Failure Patients by Promoting Behavioural Change
Attendance and grades in learning programming classes
Garbage Collection for Storage-Oriented Clusters
Using startle probe to compare affect and engagement between a serious game and an online intervention program
A genetic programming approach to distributed execution of data-intensive web service compositions
A Simulation Framework for Knowledge Acquisition Evaluation
Comparing usability and engagement between a serious game and a traditional online program
Java Implementation Verification Using Reverse Engineering
Type Classes in Mercury
Privacy-aware Access Control with Generalization Boundaries
A Model of Persistent Software Composition
Optimistic and Efficient Concurrency Control for Asynchronous Collaborative Systems
From Graphs to Euclidean Virtual Worlds: Visualization of 3D Electronic Institutions
Visualising Moving Clusters using Cluster Flow Diagrams
Hybrid Mesh Ad-Hoc On-Demand Distance Vector Routing Protocol
A Three-Valued Declarative Debugging Scheme
Shallow NLP techniques for internet search
Analysis of the periodical payment framework using restricted proxy certificates
Computing Outside the Box
Using Natural Language Generation for Navigational Assistance
A programming paradigm for machine learning, with a case study of Bayesian networks
Thirty-Fourth Australasian Computer Science Conference, ACSC 2011, Perth, Australia, January 2011
Computer Science 2005, Twenty-Eighth Australasian Computer Science Conference (ACSC2005), Newcastle, NSW, Australia, January/February 2005
On the parameterized complexity of dominant strategies
Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels
Unsupervised Anomaly Detection in Network Intrusion Detection Using Clusters
Large Scale Experiments on Correction of Confused Words
Optimizing Web Content Delivery Using Web Server Accelerator
Approximating the Success Set of Logic Programs Using Constrained Regular Types
On gamification in action learning
Procedural urban environments for FPS games
Visualizing the Refactoring of Classes via Clustering
Wi-Pi: a study of WLAN security in Auckland CBD
nu-view: a visualization system for collaborative co-located analysis of geospatial disease data
Efficiently Computing the Top N Averages in Iceberg Cubes
Polymorphic CSP Type Checking
Thirty-Seventh Australasian Computer Science Conference, ACSC 2014, Auckland, New Zealand, January 2014
Reasoning about inherent parallelism in modern object-oriented languages
Integration of generic program analysis tools into a software development environment
A Three-Valued Semantic for Horn Clause Programs
Real-time Evolutionary Learning of Cooperative Predator-Prey Strategies
Incremental Garbage Collection in Massive Object Stores
SuperstringRep: Reputation-enhanced Service Discovery
On Evolving Fixed Pattern Strategies for Iterated Prisoner's Dilemma
FITS - A Fault Injection Architecture for Time-Triggered Systems
Improving the Transparency of Proxy Injection in Java
Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30 - February 2, 2007. Proceedings
Exploring students' learning attributes in consecutive lessons to improve prediction performance
24th Australasian Computer Science Conference (ACSC 2001), 29 January - 1 February 2001, Gold Coast, Queensland, Australia
The Effectiveness of Innovative Approaches to CS1: Comparing Opinion to Outcome
The CRSS Metric for Package Design Quality
Component Modeling for SCADA Network Mapping
Designing for social play in co-located mobile games
Ruby.NET: a Ruby compiler for the common language infrastructure
Boosting Instruction Set Simulator Performance with Parallel Block Optimisation and Replacement
Academic integrity and computing assessments
Indicators of Performance in First-year Computing
Resource Provisioning based on Leases Preemption in InterGrid
A Formal Approach to Component Adaptation and Composition
Investigating the Application of Virtual Environment Technology for Use in the Petroleum Exploration Industry
The Recognition of Human Action Using Silhouette Histogram
Jooj: Real-Time Support For Avoiding Cyclic Dependencies
Self-Replicating Expressions in the Lambda Calculus
Knowledge-based Genetic Algorithm for Layer Assignment
Dependable Dynamic Source Routing without a Trusted Third Party
Rule sets based bilevel decision model
A Comparative Study for Domain Ontology Guided Feature Extraction
Large Object Segmentation with Region Priority Rendering
Modelling and Measuring Collaborative Software Engineering
Using Self-Defending Objects to Develop Security Aware Applications in Java
Approximative filtering of XML documents in a publish/subscribe system
Trends in Retrieval System Performance
A Statistical-driven Approach for Automatic Classification of Events in AFL Video Highlights
Indexing for Fast Categorisation
A network forensics tool for precise data packet capture and replay in cyber-physical systems
Implemention Aspects of a SPARC V9 Complete Machine Simulator
Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids
Using formal concept analysis with an incremental knowledge acquisition system for web document management
Dynamic Measurement of Polymorphism
An Integration of Software Engineering Methods and Semantic Technologies for Drafting and Modeling Statutes and Legal Rules
A semantic approach to boost passage retrieval effectiveness for question answering
A Web Based Environment for Learning to Program
Trust network analysis with subjective logic
Video Cut Detection using Frame Windows
Predicting TLS performance from key exchange performance: short paper
The aesthetic awareness display: a new design pattern for ambient information systems
Discovering Itemset Interactions
Modelling layer 2 and layer 3 device bandwidths using B-node theory
An investigation on a community's web search variability
Computer Science 2009, Thirty-Second Australasian Computer Science Conference (ACSC 2009), Wellington, New Zealand, January 19-23, 2009, Proceedings
On the P 3 -convexity of some classes of graphs with few P 4 s and permutation graphs
Repairing Syntax Errors in LR-based Parsers
Enhancing the Believability of Embodied Conversational Agents through Environment-, Self- and Interaction-Awareness
Modular transactional memory
Using Finite State Automata for Sequence Mining
Nonmonotonic Reasoning or Adaptive Information Filtering
Utilising bitemporal information for business process contingency management
On pedagogically sound examples in public-key cryptography
A Flexible Payment Scheme and its Permission-Role Assignment
RTCSS: a framework for developing real-time peer-to-peer web applications
Video Similarity Detection for Digital Rights Management
A Cluster-based Geophysical Template Matching System
A model, schema, and interface for metadata file systems
Student difficulties with pointer concepts in C
Applying a neural network to recover missed RFID readings
Towards a Fully-reflective Meta-programming Language
Factors influencing university students' self-regulation of learning: an exploratory study
Delegation of access in an information accountability framework for eHealth
Comparing Effort Prediction Models for Web Design and Authoring Using Boxplots
Needles and Haystacks: A Search Engine for Personal Information Collections
Combining the Shortest Paths and the Bottleneck Paths Problems
The Future of Web Search
Fractal Image Compression on a Pseudo Spiral Architecture
Computer Science 2006, Twenty-Nineth Australasian Computer Science Conference (ACSC2006), Hobart, Tasmania, Australia, January 16-19 2006
Petri Net Script: A Visual Language for Describing Action, Behaviour and Plot
Forward Chaining for Robot and Agent Navigation using Potential Fields
Fine-grained classification of side-effect free methods in real-world Java code and applications to software security
Performance of Data Structures for Small Sets of Strings
Formal Approach for Generating Privacy Preserving User Requirements-Based Business Process Fragments
Constraint Logic Programming for program analysis
Cost-Based Framework and Simulation of DoS-Resistant Protocols Using Coloured Petri Nets
Cobweb: A Constraint-Based WEB Browser
A New Extension of Kernel Principal Component Analysis for Finger Vein Authentication
TRAM: A Tool for Requirements and Architecture Management
Computer Science 2008, Thirty-First Australasian Computer Science Conference (ACSC2008), Wollongong, NSW, Australia, January 22-25, 2008
Environment-Independent Performance Analyses of Cryptographic Algorithms
Bandwidth Reservation Strategies for Mobility Support of Wireless Connections with QoS Guarantees
Forgery attacks on ++AE authenticated encryption mode
Improving Resource Utilization for MPEG-4 Decoding in Embedded End-Devices
Conflict Management For Real-Time Collaborative Editing in Mobile Replicated Architectures
Fast Segmentation of Large Images
Exploiting FPGA Concurrency to Enhance JVM Performance
Towards security labelling
Graph Grammar Encoding and Evolution of Automata Networks
DNP3 network scanning and reconnaissance for critical infrastructure
A Functional Taxonomy for Software Watermarking
TreeTags: bringing tags to the hierarchical file system
Transforming Communication Skills Instruction: The Conference Approach
Adapting a knowledge-based schema matching system for ontology mapping
Conglomeration -- Realizing Alias Protection
Large k-Separated Matchings of Random Regular Graphs
Measuring visual consistency in 3d rendering systems
Towards Certificate Verification in a Certificate Management System
Using Generative Programming to Visualise Hypercode in Complex and Dynamic Systems
JWS: a flexible web service
Hardware Acceleration of JPEG2000 Image Compression for Low-Power Embedded Applications
Explaining alldifferent
Kerberos Assisted Authentication in Mobile Ad-hoc Networks
Translating Refined Logic Programs to Mercury
Lightweight Consistency Analysis of Dataflow Process Networks
Can you learn to teach programming in two days?
Data integration for mobile wellness apps to support treatment of GDM
Optimized Relative Lempel-Ziv Compression of Genomes
State of the art in knowledge extraction from online polls: a survey of current technologies
RAPTOR: Rapid Analysis, Processing and Transformation from Online Repositories
Generating multimedia narrative for virtual humans
Bicluster detection using strength pareto front evolutionary algorithm
Supporting software reuse by the individual programmer
HOPPER: a hierarchical planning agent for unpredictable domains
Word-Based Block-Sorting Text Compression
Segmentation and Border Identification of Cells in Images of Peripheral Blood Smear Slides
Unsupervised band removal leading to improved classification accuracy of hyperspectral images
On compensating the Mel-frequency cepstral coefficients for noisy speech recognition
State recovery attacks against π-cipher
Hardness and tractability of detecting connected communities
Result Fusion in Multi-Agent Systems Based on OWA Operator
A RMI Protocol for Aglets
Performance Improvement of Vertical Handoff Algorithms for QoS Support over Heterogeneous Wireless Networks
Lego© Mindstorms: Merely a Toy or a Powerful Pedagogical Tool for Learning Computer Programming?
Representation and Reasoning for Goals in BDI Agents
3D spirals, bubbles and sliders: setting range values in multi-user 3D environments
Mining Indonesian Cyber Bullying Patterns in Social Networks
EvoJava: A Tool for Measuring Evolving Software
Identifying refactoring opportunities by identifying dependency cycles
InspectJ: Program Monitoring for Visualisation Using AspectJ
Policies for Sharing Distributed Probabilistic Beliefs
38th Australasian Computer Science Conference, ACSC 2015, Sydney, Australia, January 2015
Approximate Recognition of Non-regular Languages by Finite Automata
Importance of Single-Core Performance in the Multicore Era
Single Feature Ranking and Binary Particle Swarm Optimisation Based Feature Subset Ranking for Feature Selection
The Electronic Primaries: Predicting the U.S. Presidency Using Feature Selection with Safe Data Reduction
Computer Science 2003, Twenty-Sixth Australasian Computer Science Conference (ACSC2003), Adelaide, South Australia, February 2003
Chronicling the patient journey: co-creating value with digital health ecosystems
A New Approach to Collaborative Frameworks using Shared Objects
Application Rates to Undergraduate Programs in Information Technology in Australian Universities
Privacy preserving set intersection based on bilinear groups
Adapting graph theory and social network measures on healthcare data: a new framework to understand chronic disease progression
On Inferences of Full Hierarchical Dependencies
Lazy and Eager Approaches for the Set Cover Problem
Personally controlled & privacy preserving medication management system
Efficient Trie-Based Sorting of Large Sets of Strings
Memory efficient state-space analysis in software model-checking
Specifying Mode Requirements of Embedded Systems
Agent-Based Distributed Software Verification
Fast and Compact Hash Tables for Integer Keys
Model Checking Railway Interlocking Systems
Rendering multi-perspective images with trilinear projection
A Contraction Algorithm for finding Minimal Feedback Sets
QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks
Experiments in the dynamics of phase coupled oscillators when applied to graph colouring
VOTOR: conceptually simple remote voting against tiny tyrants
A Delivery Framework for Health Data Mining and Analytics
Signature Extraction for Overlap Detection in Documents
Building apostrophe power: lessons learnt for serious games development
Securing Distributed Computing Against the Hostile Host
The Design and Implementation of a Progressive On-demand Image Dissemination System for Very Large Images
A Dynamic Communication Algorithm for Digital Halftoning
Quantifying mood, content and dynamics of health forums
Improved consensus clustering via linear programming
CASO: a framework for dealing with objectives in a constraint-based extension to AgentSpeak(L)
Towards a typology of metagames
EDTrend: a methodology for trend prediction with emerging and decaying patterns
On Defining the Service Provided by TCP
Using a model-driven, knowledge-based approach to cope with complexity in filtering of notices to airmen
Schema Mapping Using Hybrid Ripple-Down Rules
Code Improvements for Model Elimination Based Reasoning Systems
Combining unsupervised and invigilated assessment of introductory programming
An Open Meteorological Alerting System: Issues and Solutions
Image Reconstruction based on Block-based Compressive Sensing
Thirty-Fifth Australasian Computer Science Conference, ACSC 2012, Melbourne, Australia, January 2012
Symmetry declarations for MiniZinc
Object-Oriented Natural Language Requirements Specification
Learning Time Series Patterns by Genetic Programming
A Comparative Study of RFID Technology Measuring Efficiency and Acceptance when Capturing Attendance
Joined Q-ary tree anti-collision for massive tag movement distribution
Searching With Style: Authorship Attribution in Classic Literature
TCPivo: a high-performance packet replay engine
Extending and enhancing GT-ITM
A framework for interpreting measurement over Internet
Multi-protocol visualization: a tool demonstration
On characterizing affinity and its impact on network performance
A tool for RApid model parameterization and its applications
Considering processing cost in network simulations
The Georgia Tech Network Simulator
On realistic network topologies for simulation
vBET: a VM-based emulation testbed
Internet connectivity at the AS-level: an optimization-driven modeling approach
Proceedings of the ACM SIGCOMM workshop on Models, methods and tools for reproducible network research, MoMeTools '03, Karlsruhe, Germany, August 25-27, 2003
A Comprehensive Strategy to Bias and Mitigation in Human Resource Decision Systems
Proceedings of the 5th Italian Workshop on Explainable Artificial Intelligence, co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence, Bolzano, Italy, November 26-27, 2024
XAI.it 2024: An Overview on the Future of AI in the Era of Large Language Models
Using LLMs to explain AI-generated art classification via Grad-CAM heatmaps
An Analysis on How Pre-Trained Language Models Learn Different Aspects
Ethical AI Systems and Shared Accountability: The Role of Economic Incentives in Fairness and Explainability
ExplainBattery: Enhancing Battery Capacity Estimation with an Efficient LSTM Model and Explainability Features
Probabilistic Abstract Interpretation on Neural Networks via Grids Approximation
SpatialWhiteboard: A New Wearable Air-Writing Interaction with Kinect Sensor and Vibrating Ring Interface
What Should a Virtual/Augmented Reality Course be?
Depth of Field in Plenoptic Cameras
Virtual lights: a method for expressive visualization
High Quality and Efficient Direct Rendering of Massive Real-world Point Clouds
An Image Processing Approach to Detection of Ridges and Ravines on Polygonal Surfaces
Cross Scanline Algorithm
46th Annual Conference of the European Association for Computer Graphics, Eurographics 2025 - Posters, London, UK, May 12-16, 2025
Real-Time Procedural Animation of Trees
Tree balancing for mesh simplification
Visual Learning with Computer Art Graphics Artwork Description
Perceptually Adaptive Graphics
Site and Structure at the Vatican: From the Earliest Settlement to the Present
A Survey of Color Mapping and its Applications
A Version Management System for Design Environments
Incorporating Visualization Research in Introductory Programming Course: Case Studies
40th Annual Conference of the European Association for Computer Graphics, Eurographics 2019 - Education Papers, Genoa, Italy, May 6-10, 2019
Interactive Simulation for easy Decision-making in Fluid Dynamics
SVEn - Shared Virtual Environment
Photographically Guided Alignment for HDR Images
27th Annual Conference of the European Association for Computer Graphics, Eurographics 2006 - Tutorials, Vienna, Austria, September 4-8, 2006