yusuke1997/dblp-id-title huggingface dataset:
XIX Spanish Computer Graphics Conference, CEIG 2009, San Sebastián, Spain, September 9-11, 2009
LeoMCAD: A Lego-based Mechanical CAD system
NikVision: Desarrollo de Videojuegos basados en Interfaces Naturales
Herramientas para la Triangulación y Registrado Inicial de Modelos 3D a Partir de Nubes de Puntos
Physically Based Skeleton Tracking
Simplificación Estadística de una población de objetos 3D
Augmented Reality System to Assist in Manufacturing Processes
A GPU-accelerated LiDAR Sensor for Generating Labelled Datasets
Surfel Octrees: A New Scheme for Interactive Inspection of Anatomy Atlases in Client-Server Applications
A Prototype of Virtual Reality System for the Visualization, Exploration and Modeling of Huge Point Clouds
Interactive Earthmoving Simulation in Real-time
Development of a Node-Based Material Editor
A Web 3D-Scene Editor of Virtual Reality Exhibitions and 360-degree Videos
Visualización Esférica de Terreno 3D para Sistemas de Información Geográfica
XVIII Spanish Computer Graphics Conference, CEIG 2008, Barcelona, Spain, September 3-5, 2008
PterosaVR MUVHN: una aplicación para la reconstrucción virtual de Tropeognathus mesembrinus
XXVII Spanish Computer Graphics Conference, CEIG 2017, Sevilla, Spain, June 28-30, 2017
Evaluación Optimizada de Arboles CSG de Sólidos Triangulados de Forma Libre
CLIKSA - An Application for Physics Education in Secondary School
On the Design of a Mixed-Reality Annotations Tool for the Inspection of Pre-fab Buildings
PREFR: A Flexible Particle Rendering Framework
A Virtual Reality Front-end for City Modeling
Procedural Location of Roads Using Desire Paths
Un Método para la Detección en Tiempo Real de Perturbaciones Fotométricas en Imágenes Proyectadas
Low Cost Recovery of Spectral Power Distributions
Tests de inclusión punto en objeto basados en árboles de intervalos
Marching Octahedra
Computing Curvature Information on 3D Meshes from Cultural Heritage Artifacts
Generación estocástica de puntos para técnicas de punteado automático
An Application to Interact with 3D Models Reconstructed from Medical Images
Deformación Interactiva de Modelos Volumétricos con Dispositivos Hápticos
Improving Depth Estimation Using Superpixels
Yafrid-NG: A Peer to peer Architecture for Physically Based Rendering
Design of a Scalable System for the Sensorization of Virtual TV Sets with Live Broadcast
Modelling the Fluid-Boundary Interaction in SPH
A Survey on Development Tools for Mobile Augmented Reality
A Biologically-Inspired Appearance Model for Snake Skin
Sistema de Realidad Aumentada para enseñanza de Geometría
Procedural Semantic Cities
XXV Spanish Computer Graphics Conference, CEIG 2015, Benicàssim (Castellón), Spain, July 1-3, 2015
Optimización del Cálculo de Colisiones para Mallas Deformables mediante Voxelización de Primitivas
Edición de Escenas 3D sobre OpenSceneGraph
A System Proposal for Interactive Deformation of Large Medical Volumes
Crossmodal Perception in Immersive Environments
Mosaicos Virtuales
Understanding Exposure for Reverse Tone Mapping
Tree Variations
A Prototype of a Scalable Multi-GPU Molecular Dynamics Simulator for Large Molecular Systems
Edición y visualización de información vectorial en aplicaciones SIG
Downsampling and Storage of Pre-Computed Gradients for Volume Rendering
PrimeSense Sensors as a Low-cost Method for Motion Capture on Clinical Tests
Neural Colorization of Laser Scans
Modular Design of Graph Theory Based Software for Scientific Applications and Education
Non-rigid 3D Faces Registration using Geodesic Distance Maps
Proyección Esférica Usando la Programación en la GPU
Interactive Virtual Tours with Panoramic Video
Extracción Adaptativa de Isosuperficies Topológicamente Correctas
Voxelización de Sólidos Mediante Instanciación de Geometría
Dos Sistemas de Realidad Aumentada para el Tratamiento de la Acrofobia
Noise Reduction Automation of LiDAR Point Clouds for Modeling and Representation of High Voltage Lines in a 3D Virtual Globe
Rendering and Interacting With Volume Models in Immersive Environments
Image-based Participating Media
Simulador de realidad virtual para la formación de operadores de grúa Torre
XXII Spanish Computer Graphics Conference, CEIG 2012, Jaén, Spain, September 12-14, 2012
Tracking for Virtual Environment using Kinect
Representación Vectorial 3D en un Sistema de Información Geográfica
Evaluating Three Versions of an Augmented Reality Mobile Game about Recycling
Proceedings of the 2nd Workshop on Adverse Impacts and Collateral Effects of Artificial Intelligence Technologies - AIofAI 2022 co-located with 31th International Conference on Artificial Intelligence (IJCAI 2022), Vienna, Austria, July 24, 2022
Acquiring Knowledge Using Crowdsourcing and AI: Participatory Budget and Related Risks
Good AI for Good: How AI Strategies of the Nordic Countries Address the Sustainable Development Goals
On the Importance to Study Fringe Social Networks and Their Impending Use of GenAI to Promote Mal-Info: Gab as a Case Study
Proceedings of the 3rd Workshop on Adverse Impacts and Collateral Effects of Artificial Intelligence Technologies (AiOfAi 2023) co-located with 32nd International Conference on Artificial Intelligence (IJCAI 2023), Macao, China, August 21, 2023
A GPT-based Practical Architecture for Conversational Human Digital Twins
AI in Healthcare: Impacts, Risks and Regulation to Mitigate Adverse Impacts
Towards Enhanced Privacy-Preserving Nudges
From Hype to Reality: Transformer-Based Models for Fake News Detection Performance and Robustness Revealed
The Role of AI in the Misinformation Ecosystem: Virtuous or Vicious?
Disincentivizing Polarization in Social Networks
Utilising Assessment List for Trustworthy AI: Three Areas of Improvement
A Game for Crowdsourcing Adversarial Examples for False Information Detection
Supposedly Fair Classification Systems and Their Impacts
Identification of Bottleneck Elements in Cellular Manufacturing Problem
Graph Coloring Based on Evolutionary Algorithms to Support Data Hiding Scheme on Medical Images
Independent Dominator Sequence Number of a Graph
Upper Bounds for Rainbow 2-Connectivity of the Cartesian Product of a Path and a Cycle
Algorithm to Construct Graph with Total Vertex Irregularity Strength Two
The Locating-Chromatic Number of Binary Trees
On Locating-chromatic Number for Graphs with Dominant Vertices
The Rainbow Connection Number of a Flower (C m , K n ) Graph and a Flower (C 3 , F n ) Graph
On Total Irregularity Strength of Double-Star and Related Graphs
Partition Dimension of Some Classes of Homogenous Disconnected Graphs
The Partition Dimension of a Subdivision of a Complete Graph
Partition Dimension of Some Classes of Trees
The Bounds on the Locating-Chromatic Number for a Subdivision of a Graph on One Edge
Fractional Metric Dimension of Tree and Unicyclic Graph
On Ramsey Minimal Graphs for the Pair Paths
A Heuristic for Distance Magic Labeling
The Rainbow (Vertex) Connection Number of Pencil Graphs
Resolving Sets without Isolated Vertices
On the Rainbow and Strong Rainbow Connection Numbers of the m-Splitting of the Complete Graph K n
Degree/diameter Problem for Mixed Graphs
On The Restricted Size Ramsey Number
Connected Size Ramsey Numbers for Matchings versus Cycles or Paths
On Size Multipartite Ramsey Numbers for Stars versus Cycles
The Rainbow Connection Number of Origami Graphs and Pizza Graphs
On the Total Irregularity Strength of Fan, Wheel, Triangular Book, and Friendship Graphs
Total Vertex-Irregularity Labelings for Subdivision of Several Classes of Trees
An Upper Bound On the Total Vertex Irregularity Strength of the Cartesian Product of P 2 and an Arbitrary Regular Graph
The Partition Dimension of Some Families of Trees
The Rainbow Connection Number of an n-Crossed Prism Graph and its Corona Product with a Trivial Graph
Information Concealment Through Noise Addition
On Unicyclic Ramsey (mK2, P 3 )-Minimal Graphs
Cycle-Super Antimagicness of Connected and Disconnected Tensor Product of Graphs
The 2nd International Conference of Graph Theory and Information Security, ICGTIS 2015, Bandung, Indonesia, 21-23 September 2015
A Systematic Approach to Measuring Advertising Transparency Online: An Australian Case Study
Extracting Crime Information from Online Newspaper Articles
What's the Deal? - Identifying Online Bargains
Scalability in Recursively Stored Delta Compressed Collections of Files
A Seed-Centric Community Detection Algorithm based on an Expanding Ring Search
First Australasian Web Conference, AWC 2013, Adelaide, Australia, January 2013
A Practical Simulation Method for Social Networks
Finding synonyms and other semantically-similar terms from coselection data
Difference Computation for Grammar-Compressed XML Data
Conditional Random Field Based Sentence Context Identification: Enhancing Citation Services for the Research Community
Keyword Search on DAG-Compressed XML Data
On Malware Characterization and Attack Classification
Exploring Tourists' Collaborative Web Search: Implications for System Design
Synchronization of Audio-Visual Elements in Web Applications
Second Australasian Web Conference, AWC 2014, Auckland, New Zealand, January 2014
The Efficiency of Corpus-based Distributional Models for Literature-based Discovery on Large Data Sets
Linked Data and Entity Search: A Brief History and Some Ways Ahead
User Awareness and Policy Compliance of Data Privacy in Cloud Computing
A Request Oriented Model forWeb Services
3rd Australasian Web Conference, AWC 2015, Sydney, Australia, January 2015
Linked Data Provenance: State of the Art and Challenges
Enhancing Recommender Systems Using Linked Open Data-Based Semantic Analysis of Items
Executing Semantic Web Services with a Context-Aware Service Execution Agent
Towards a Mapping from BPMN to Agents
Agent-Based Support for Context-Aware Provisioning of IMS-Enabled Ubiquitous Services
Towards an Emergent Taxonomy Approach for Adaptive Profiling
Associated Topic Extraction for Consumer Generated Media Analysis
An Agent-Based Approach to User-Initiated Semantic Service Interconnection
Agent-Based Framework for Personalized Service Provisioning in Converged IP Networks
Service-Based Integration of Grid and Multi-Agent Systems Models
A Role-Based Support Mechanism for Service Description and Discovery
Collaborative Learning Agents Supporting Service Network Management
Z-Based Agents for Service Oriented Computing
MAMS Service Framework
Pattern-Based Semantic Tagging for Ontology Population
An Agent for Asymmetric Process Mediation in Open Environments
Towards a Broker Agent in the Semantic Services Environment
An Effective Strategy for the Flexible Provisioning of Service Workflows
Using Goals for Flexible Service Orchestration
Semantic Service Composition in Service-Oriented Multiagent Systems: A Filtering Approach
Agent-Based Context Consistency Management in Smart Space Environments
WS2JADE: Integrating Web Service with Jade Agents
A Multi-Agent Architecture for NATO Network Enabled Capabilities: Enabling Semantic Interoperability in Dynamic Environments (NC3A RD-2376)
Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings
Using THOMAS for Service Oriented Open MAS
A Knowledge Technologies-Based Multi-agent System for eGovernment Environments
Commitment-Based Service Coordination
Discovering Homogenous Service Communities through Web Service Clustering
A Lightweight Agent Fabric for Service Autonomy
Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2009 International Workshop SOCASE 2009, Budapest, Hungary, May 11, 2009. Proceedings
Management Intelligence in Service-Level Reconfiguration of Distributed Network Applications
Mechanism Design for Task Procurement with Flexible Quality of Service
Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008, Proceedings
Business Modeling via Commitments
A Middleware Architecture for Building Contract-Aware Agent-Based Services
An MAS Infrastructure for Implementing SWSA Based Semantic Services
Contract Observation in Web Services Environments
An Agent-Oriented Service Model for a Personal Information Manager
Decidability of difference logics with unary predicates
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics
On Benefits of Equality Constraints in Lex-Least Invariant CAD
Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022
Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021
Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition
Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving
Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper)
SC-Square: Future Progress with Machine Learning? (invited paper)
On Variable Orderings in MCSAT for Non-Linear Real Arithmetic
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving
SC-Square: Overview to 2021 (invited paper)
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT
SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks (invited paper)
Widening for Systems of Two Variables Per Inequality
SMT-like Queries in Maple
Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023
Enumerating Projective Planes of Order Nine with Proof Verification
SMT-Solving Induction Proofs of Inequalities
Cylindrical Algebraic Coverings for Quantifiers (short paper)
Techniques for Natural-style Proofs in Elementary Analysis
An SC-Square Approach to the Minimum Kochen-Specker Problem
Practical Evaluation of Quantifier Elimination Methods (short paper)
Evolutionary Virtual Term Substitution in a Quantifier Elimination System
Towards Detection of Partial Truth via Real Geometry
Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper)
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018
Unknot Recognition Through Quantifier Elimination
Refutation of Products of Linear Polynomials
Logic Solvers and Machine Learning: The Next Frontier (keynote abstract)
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019
Hard Combinatorial Problems: A Challenge for Satisfiability
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization
A Practical Polynomial Calculus for Arithmetic Circuit Verification
Equational Constraints, the Lazard Projection and the Curtain Problem (short paper)
On the Proof Complexity of MCSAT
Towards Incremental Cylindrical Algebraic Decomposition in Maple
A Hybrid SAT and Lattice Reduction Approach for Integer Factorization
Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning
Data Augmentation for Mathematical Objects
Evaluation of Equational Constraints for CAD in SMT Solving
New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square
Automatic Deployment of Component-based Applications in the Cloud (short paper)
Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract)
Degröbnerization and Its Applications: Reverse Engineering of Gene Regulatory Networks (poster paper)
Von der Problemerkennung zur Problembehebung: 12 Jahre Softwaresanierung am FZI
Empirische Grundlagen für das Klonmanagement
Software Archeology and the Handbook of Software Architecture
Towards Querying of Traceability Information in the Context of Software Evolution
20 Years of Software-Reengineering: A Résumé
Methoden und Werkzeuge für die Software Migration
Self-Adaptive Software-Intensive Legacy Systems
HIT - Aspekte einer Migration von Einzelplatzlösungen in webbasierte Client-Server-Systeme
Entwurfsmuster-Erkennung mit Bauhaus
Das ARNO Projekt: Herausforderungen und Erfahrungen in einem großen industriellen Software-Migrationsprojekt
Clone Detection in a Product Line Context
A Decade of Reverse Engineering at Fraunhofer IESE - The Changing Role of Reverse Engineering in Applied Research
Using Library Dependencies for Clustering
Zehn Jahre WSR - Zwölf Jahre Bauhaus
Ein iterativer, eigenmotivierter Regelkreis zur Einführung von Code-Quality-Management innerhalb der Raiffeisen Bausparkasse GmbH Wien
From Date Correction to SOA Migration: Evolving Reengineering Methods
10th Workshop Software Reengineering, 5-7 May 2008, Bad Honnef, Germany
Legacy Migration mit VisualAge Generator - Ein Praxisbericht
ECARES-Projekt: Kombination von graphbasierten Redesign-Analysen
Graph Technology in Reverse Engineering: The TGraph Approach
Das Debeka-Projekt MiKe: Migration der Debeka-Kernanwendungen von Bull/GCOS8 auf AIX
A rule-based policy language for selective trust propagation in social networks
curso: protect yourself from curse of attribute inference: a social network privacy-analyzer
Proceedings of the 3rd ACM SIGMOD Workshop on Databases and Social Networks, DBSocial 2013, New York, NY, USA, June, 23, 2013
Social-data storage-systems
Building a signed network from interactions in Wikipedia
How people describe themselves on Twitter
Event identification for local areas using social media streaming data
Scalable, continuous tracking of tag co-occurrences between short sets using (almost) disjoint tag partitions
Distance matters: an exploratory analysis of the linguistic features of Flickr photo tag metadata in relation to impression management
STK-anonymity: k-anonymity of social networks containing both structural and textual information
Towards trust inference from bipartite social networks
Proceedings of the First ACM SIGMOD Workshop on Databases and Social Networks, DBSocial 2011, Athens, Greece, June 12, 2011
Towards ad-hoc circles in social networking sites
Feed following: the big data challenge in social applications
A reachability-based access control model for online social networks
Boosting video popularity through recommendation systems
The predictive value of young and old links in a social network
Implementing link-prediction for social networks in a database system
Interesting event detection through hall of fame rankings
Cache augmented database management systems
Querying subgraph sets with g-tries
Gumball: a race condition prevention technique for cache augmented SQL database management systems
Proceedings of the 2nd ACM SIGMOD Workshop on Databases and Social Networks, DBSocial 2012, Scottsdale, AZ, USA, May 20, 2012
Linguistically enriched corpora for establishing variation in support verb constructions
The TIGER 700 RMRS Bank: RMRS Construction from Dependencies
Syntactic Identification of Attribution in the RST Treebank
Obtaining Japanese Lexical Units for Semantic Frames from Berkeley FrameNet Using a Bilingual Corpus
The Spoken Dutch Corpus and its Exploitation Environment
Error Annotation for Corpus of Japanese Learner English
CGN, an annotated corpus of spoken Dutch
Limits to annotation precision
Text as Binary Sequence: A Case of Characteristic Constant of Text
Annotating Honorifics Denoting Social Ranking of Referents
Open Mind Word Expert: Creating Large Annotated Data Collections with Web Users' Help
Treebank Conversion - Establishing a testsuite for a broad-coverage LFG from the TIGER treebank
Issues in the Syntactic Annotation of Cast3LB
Which bridges for bridging definite descriptions?
Proceedings of the Sixth International Workshop on Linguistically Interpreted Corpora, LINC@IJCNLP 2005, Jeju Island, Korea, October 15, 2005
Automatic Multi-Layer Corpus Annotation for Evaluation Question Answering Methods: CBC4Kids
The Unberable Lightness of Tagging* A Case Study in Morphosyntactic Tagging of Polish
Integration of a Lexical Type Database with a Linguistically Interpreted Corpus
Building Dialogue Corpora for Nursing Activity Analysis
Exploitation of an SFL-annotated multilingual register corpus
Practical Annotation Scheme for an HPSG Treebank of Bulgarian
Stretching TEI: Converting the Genia Corpus
The PARC 700 Dependency Bank
The Annotation Process in the Turkish Treebank
Step by step: underspecified markup in incremental rhetorical analysis
Some remarks on the Annotation of Quantifying Noun Groups in Treebanks
Proceedings of 4th International Workshop on Linguistically Interpreted Corpora, LINC@EACL 2003, Budapest, Hungary, April 13-14, 2003
The MetaGrammar: a cross-framework and cross-language test-suite generation tool
A Study of Applying BTM Model on the Chinese Chunk Bracketing
The Syntactically Annotated ICE Corpus and the Automatic Induction of a Formal Grammar
Classifying and Recommending Using Gradient Boosted Machines and Vector Space Models
Fuzzy Hidden Markov Chain Based Models for Time-Series Data
Stepwise modelling of biochemical pathways based on qualitative model learning
Link-based methods for bibliometric journal ranking
Ecosystem-oriented distributed evolutionary computing
Classification of Fibrillation Subtypes with Single-Channel Surface Electrocardiogram
Heuristic selection in a multi-phase hybrid approach for dynamic environments
Q-Routing with Multiple Soft Requirements
Preference Learning Based Decision Map Algebra: Specification and Implementation
Robust Control for Autonomous Surveillance with Unmanned Aerial Manipulator
PermGA algorithm for a sequential optimal space filling DoE framework
An efficient system for preprocessing confocal corneal images for subsequent analysis
Investigation of Efficient Approaches and Applications for Image Classification Through Deep Learning
Fast and Accurate 3D Reconstruction of Plants Using MVSNet and Multi-View Images
A Comparison of Re-sampling Techniques for Pattern Classification in Imbalanced Data-Sets
CMA-PAES: Pareto archived evolution strategy using covariance matrix adaptation for Multi-Objective Optimisation
Hybridizing genetic algorithms and hill climbing for similarity aggregation in ontology matching
Interpretable Model for Artefact Detection in Local Field Potentials via Feature Extraction and Decision Trees
A Performance Study of Genetic Algorithms-Based Quantum Approximate Optimisation in the Context of Power Networks
A Hybrid Regression Model for Mixed Numerical and Categorical Data
Asymmetric Convolution View Adaptation Networks for Skeleton-Based Human Action Recognition
Optimized artificial neural network using differential evolution for prediction of RF power in VHF/UHF TV and GSM 900 bands for cognitive radio networks
Fuzzy Inference for Well Log Lithology Classification
Classification of EEG Signals Based on Image Representation of Statistical Features
Bioinformatic Analysis Using Complex Networks and Clustering Proteins Linked with Alzheimer's Disease
Machine Learning Based XSS Attacks Detection Method
A novel adaptive spiral dynamic algorithm for global optimization
A genetic programming hyper-heuristic: Turning features into heuristics for constraint satisfaction
Machine Learning for Real Estate Time Series Prediction
PCA-based algorithmic approximation of crisp target sets
Towards Fuzzy Context-Aware Automatic Gait Assessments in Free-Living Environments
3, 2, 1, Drones Go! A Testbed to Take Off UAV Swarm Intelligence for Distributed Sensing
Complex Network Based Computational Techniques for 'Edgetic' Modelling of Mutations Implicated with Cardiovascular Disease
Mining Unit Feedback to Explore Students' Learning Experiences
Integrated Demand and Supply Side Pricing Optimization Schemes for Electricity Market
A new weighting scheme and discriminative approach for information retrieval in static and dynamic document collections
How clumpy is my image? Evaluating crowdsourced annotation tasks
An Improved SLAM Based on the Fusion of Lidar and Monocular Vision
Guiding Fuzzy Rule Interpolation with Information Gains
Evolving the input space for a decision system