yusuke1997/dblp-id-title huggingface dataset:
Model Support in Design, Test and Monitoring of Image System Architectures
Design and Analysis of Highly Available Region-Adherent Distributed Algorithms in Faulty Environments
Process Management in a Distributed Operating System
Verification Techniques for Dynamically Typed Programs
Efficient Probabilistic Semantics for Symbolic Behavioural Models
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results
The Distributed Hardware Monitor ZM4 and its Interface to MEMSY
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY
PointCloudXplore 2: Visual Exploration of 3D Gene Expression
Outlier Mining in Sensor-networks
Conceptual Design of an Engineering Model for Product and Plant Automation
Group-Level Analysis and Visualization of Social Networks
High-Resolution Texture Transfer
Transforming BPMN-treatment models into CSPs
Supporting Learners with Pro-Active Pedagogical Agents
Executable HybridUML and Its Application to Train Control Systems
Thermal Infrared Textures of 3D Faces
Running Data-Intensive Services on Multicores Architectures
Motor Learning in Immersive Virtual Environments
Shape Reconstruction of Flexible Objects via the Evaluation of Tensor Fields
A Language-Based Approach to Specification, Execution, and Optimization of Scientific Workflows
Decentralized Estimation in Sensor Networks
Resource-aware Computer Vision Algorithms on Heterogeneous MPSoC Architectures
Using BCI techniques for intention recognition in smart environment
Petri Net Technology for Communication-Based Systems - Advances in Petri Nets
Methods and algorithms of multi-dimensional user-localization
Adaptive Scheduling of Scientific Workflows
Context-sensitive Knowledge Representation and Reasoning
Datenschutz und Systemsicherheit für die medizinische Informationsverarbeitung
Consistent Programming Models and Tools for Designing Heterogeneous Image Systems
Übersicht über die Kopfprojekte
Design and analysis of power conservation techniques for maximizing the lifetime expectancy of tiny sensing devices
Deriving Global Material Properties of a Microscopically Heterogeneous Medium - Computational Homogenisation and Opportunities in Visualisation
Selected Topics from Computational Geometry, Data Structures and Motion Planning
Qualitative and Quantitative Approaches to Formalizing Prototypes in Knowledge Representation
Mechanism Design for Combinatorial Auctions
Verification of PLC Programs Given as Sequential Function Charts
Towards Adaptive Wireless Multi-Hop Networks Optimizing Network Lifetime
Geomodeling and Geovisualizations in Urban Planning und Real Estate Industry: The Example of Office Market Research
Spectrum Binning Approach for Statistical Polychromatic Reconstruction in CT
The Combination of Spatial Access Methods and Computational Geometry in Geographic Database Systems
Weighted Automata and Logics for Natural Language Processing
Iterative Compression for Exactly Solving NP-Hard Minimization Problems
Image Processing Architecture Synthesis (IPAS)
Cardiopulmonary Bypass - "evidence-based medicine"?
Neurofeedback training on interhemispheric parietal gamma coherence
Coupled Evolution in Model-based Domain-specific Language Development
Petri Net Transformations in the "Petri Net Baukasten"
Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL
Algorithms and Simulation Methods for Topology-Aware Sensor Networks
A 3-Stage Evaluation Framework for Layout Stability of Hierarchical Visualization Techniques
The Distributed System POOL
Spatial number representation depends on both semantic and visual properties of numbers
Randomized Shared Memory - Concept and Efficiency of a Scalable Shared Memory Scheme
Neural Representation of Social Influence on Human Decision-Making
New Data Structures for IP Lookup and Conflict Detection
"UML-ising' Formal Techniques
Volumenbasiertes Force-Feedback für die OP-Simulation
Übersicht über die Herzprojekte
Interactive Communication, Diagnosis and Error Control in Networks
Automated Pattern Learning for Event Pattern Matching
Methods for Engineering Symbolic Human Behaviour Models for Activity Recognition
Towards Completeness, a Multiscale Approach of Confined Particulate Systems
Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers
The Development of Oz and Mozart
Solving CSP Including a Universal Quantification
Web Technologies for Mozart Applications
Compiling Formal Specifications to Oz Programs
A Fault Tolerant Abstraction for Transparent Distributed Programming
Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming
Compositional Abstractions for Search Factories
Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model
Playing the Minesweeper with Constraints
The Structure of Authority: Why Security Is Not a Separable Concern
Thread-Based Mobility in Oz
Deriving Acceptance Tests from Goal Requirements
P2PS: Peer-to-Peer Development Platform for Mozart
Higher Order Programming for Unordered Minds
The XDG Grammar Development Kit
The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics
A Program Verification System Based on Oz
An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine
Using Mozart for Visualizing Agent-Based Simulations
Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks
A Mozart Implementation of CP(BioNet)
The CURRENT Platform: Building Conversational Agents in Oz
The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
Implementing Semiring-Based Constraints Using Mozart
Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach
On the use of Gromov-Hausdorff Distances for Shape Comparison
1st Symposium on Point Based Graphics, PBG 2004, Zurich, Switzerland, June 2-4, 2004
Compression of Point-Based 3D Models by Shape-Adaptive Wavelet Coding of Multi-Height Fields
Single-Pass Point Rendering and Transparent Shading
Versatile Virtual Materials Using Implicit Connectivity
Multi-Resolution Sound Rendering
A Parallelly Decodeable Compression Scheme for Efficient Point-Cloud Rendering
Normal Estimation for Point Clouds: A Comparison Study for a Voronoi Based Method
Topological Methods for the Analysis of High Dimensional Data Sets and 3D Object Recognition
Topological estimation using witness complexes
Point-based Surface Rendering with Motion Blur
Shape Segmentation and Matching from Noisy Point Clouds
Conformal Alpha Shapes
The Domain of a Point Set Surface
SIMOD: Making Freeform Deformation Size-Insensitive
A Barcode Shape Descriptor for Curve Point Cloud Data
GPU-Based Ray-Casting of Quadratic Surfaces
Phong Splatting
Meshing Point Clouds Using Spherical Parameterization
Computing Variation Modes for Point Set Surfaces
Efficient Refinement of Dynamic Point Data
Efficient and Prioritized Point Subsampling for CSRBF Compression
Layered Point Clouds
Direct Computing of Surface Curvatures for Point-Set Surfaces
A Fast k-Neighborhood Algorithm for Large Point-Clouds
Low-Discrepancy Point Sampling of Meshes for Rendering
Instant Points: Fast Rendering of Unprocessed Point Clouds
Progressive Splatting
Sampling Point-Set Implicits
Bounds on the k-Neighborhood for Locally Uniformly Sampled Surfaces
Laser Scanner Super-resolution
Real-Time Point Cloud Refinement
Approximate Star-Shaped Decomposition of Point Set Data
High-Quality Surface Splatting on Today's GPUs
Conversion of Point-Sampled Models to Textured Meshes
A Sampling Theorem for MLS Surfaces
On Normals and Projection Operators for Surfaces Defined by Point Sets
Finite Elements on Point Based Surfaces
2nd Symposium on Point Based Graphics, PBG 2005, Stony Brook, NY, USA, June 21-22, 2005
Proximity Graphs for Defining Surfaces over Point Clouds
Template Deformation for Point Cloud Fitting
Octree-Based Progressive Geometry Coding of Point Clouds
Interactive Silhouette Rendering for Point-Based Models
Octree-based Point-Cloud Compression
Integrating Mesh and Meshfree Methods for Physics-Based Fracture and Debris Cloud Simulation
4th Symposium on Point Based Graphics, PBG@Eurographics 2007, Prague, Czech Republic, September 2-3, 2007
A Dynamic Surface Reconstruction Framework for Large Unstructured Point Sets
Point Sampling with Uniformly Distributed Lines
Progressive Compression of Point-Sampled Models
Interactive Editing of Large Point Clouds
Efficient Bounds for Point-Based Animations
Points Reloaded: Point-Based Rendering Revisited
Perceptually Guided Rendering of Textured Point-based Models
3rd Symposium on Point Based Graphics, PBG@SIGGRAPH 2006, Boston, MA, USA, July 29-30, 2006
Surfel-Based Billboard Hierarchies for Fast Rendering of 3D-Objects
A Unified Lagrangian Approach to Solid-Fluid Animation
Interactive Point-Based Modeling from Dense Color and Sparse Depth
Splat/Mesh Blending, Perspective Rasterization and Transparency for Point-Based Rendering
Interactive Ray Tracing of Point-based Models
Boolean Operations on Surfel-Bounded Solids Using Programmable Graphics Hardware
Interactive 3D Painting on Point-Sampled Objects
Robust Filtering of Noisy Scattered Point Data
Uncertainty and Variability in Point Cloud Surface Data
Post-processing of Scanned 3D Surface Data
Stratified Point Sampling of 3D Models
DUODECIM - A Structure for Point Scan Compression and Rendering
Surface Reconstruction with Enriched Reproducing Kernel Particle Approximation
A Practical Structured Light Acquisition System for Point-Based Geometry and Texture
Approximating Geodesics on Point Set Surfaces
Interactive Out-Of-Core Texturing with Point-Sampled Textures
Voronoi Rasterization of Sparse Point Sets
Efficient Point-Based Rendering Using Image Reconstruction
Self-Similarity-Based Compression of Point Clouds, with Application to Ray Tracing
Aggregation in Natural Language Generation
Domain Related Focus-Shifting Constraints in Dialogues with Knowledge Based Systems
Lexical Options in Multilingual Generation from a Knowledge Base
Natural Language Generation Applications to Technical Documentation: A View Through IDAS
A Dutch Component for a Multilingual Systemic Text Generation System
Integrating Text Formatting and Text Generation
Choosing a Set of Coherence Relations for Text Generation: A Data-Driven Approach
Generating Sentences Using ProfGlot
Prétexte: A Generator for the Expression of Temporal Information
A Chart-Based Semantic Head Driven Generation Algorithm
Trends in Natural Language Generation, An Artificial Intelligence Perspective, Fourth European Workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993, Selected Papers
Towards a Representation of the Rhetorical Structure of Interrupted Exchanges
Generating Grammatical and Lexical Anaphora in Assembly Instructional Texts
Reasoning about Coherent and Cooperative System Responses
Stylistic Decision-Making in Natural Language Generation
Incremental Grammatical Encoding - An Outline of the Synphonics Formulator
Textual Relations as Part of Multiple Links Between Text Segments
Architectures for Natural Language Generation: Problems and Perspectives
Multilingual Textuality: Some Experiences from Multilingual Text Generation
IDP - An Interactive Discourse Planner
Gradual typing using union typing with records
Knowledge Representation for Development of Collaborative Applications
Generating complex ontology instances from documents
The computation of #2SAT by a fixed-parameter tractable algorithm
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. LA-NMR04 Workshop, Antiguo Colegio de San Ildefonso, Mexico City, D.F , Mexico, April 26th 2004
Job Shop Scheduling via Disjunctive Boolean Formulas
GLukG logic and its application for non-monotonic reasoning
On combining numerical optimization techniques with a belief merging approach
Brief study of the relation between AGM postulates (-7) and (+7) under non-classical logics
An analysis of the state of the art of algorithms applied to BPP
AGM postulates in Answer Sets
Tableaux for Murphree's numerical term logic
Edge covering of acyclic graphs
Towards an answer set programming methodology for constructing programs following a semi-automatic approach
A tableaux method for term logic
An Automata-based algorithm for description logics around SRIQ
An Introduction to Belief Revision and Knowledge Representation with 2CNF
Identification of Ontological Relations Using Formal Concept Analysis
Equivalence for the G3'-stable models semantics
The Pac Logic in the properties of C(w) and C(min)
Can Paraconsistency Replace Non-Monotonicity?
An experiment using DLV-K
A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT
Low - exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs
A history and reversibility for quantum programming language QML
Planning using situation calculus, prolog and a mobile robot
Selected Papers of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2014, Valle de Bravo, Mexico, November 5-7, 2014
An ontology-based approach to describe collaborative work by reusing and enriching data from an institutional repository
Gradual Typing Using Union Typing With Records
Implementing the p-stable semantics
Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic
Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming
A simplied feature vector obtained by wavelets method for fast and accurate recognition of handwritten characters off-line
Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into Logic
Formal Language and Reasoning for Playing Go
Handling Exceptions in nonmonotonic reasoning
Structural graph-based representations used for finding hidden patterns
Representación con Restricciones de Medidas Cualitativas: Aplicación a un Problema de Scheduling
A general framework for representing preferences
Computing Preferred Safe Beliefs
Ideological conflict - notes on the development of a commonsense knowledge base about ideologies
Consistency checking of attention aware systems
A Note for Parametric Complexity of #2SAT
Semantic information storage and retrieval in a peer-to-peer corporate memory
How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning
Association rule-based Markov Decision Processes
Semi-negative normal programs based on p-stable semantics
Unified Perception-Prediction Model for Cognitive Agents
An Introduction to Intention Revision: Issues and Problems
A novel heuristic for the coloring of planar graphs
Methodology to represent functions in logic BL ⊃
Ozone Pollution Forecast based on Neural Networks and Decision Trees
Murphree's Numerical Term Logic Tableaux
Weighted Complete Graphs for Condensing Data
Deep learning: concepts and implementation tools
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version
Structured Motifs Recognition in DNA sequences
Self-checking Logical Agents
An extension of the stable semantics via Lukasiewicz logic
On Interactive Proof-Search for Constructive Modal Necessity
Agents's competition for selecting a representative
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs
Selecting the Best Cluster of a Collection of Technical Reports
Intentional Reasoning as Non-monotonic Reasoning
A Multiple classifier system for fast an accurate learning in neural network context
Kripke-type semantics for G' 3 and CG' 3
Detection of inconsistencies in knowledge bases for emission of foreign judgments
Component-Based Answer Set Programming
Functional first order de definability of LRTp
Modeling and Encoding Automated Planning Problems with the P-stable Semantics
On the development of a logic calculator: a novel tool to perform logical operations
Towards a Unified Framework for Declarative Knowledge-Change - Principles and Consistency
A Heuristic for the Coloring of Planar Graphs
Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016
The Stable Abducible Argumentation Semantics
Computing the Stratified Minimal Models Semantic
A Single Proof of Classical Behaviour in Da Costa's Cn Systems
Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018
Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts
On strong negation as linear duality
Applying Fuzzy Sets Intersection in the Sizing of Voltage Followers
Decision Analysis with Logic and Mathematical Programming
Planning Operation: An Extensio'n of a Geographical Information System
Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016
Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011
Machine learning-based classification for diagnosis of neurodegenerative diseases
The incremental satisfiability problem for a two conjunctive normal form
Analysis of the paraconsistency in some logics
Measurements in quantum programming language QML
Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019
Craig interpolation on the logic of knowledge
Ontology-based Descriptions of Image Collections
Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014
Toward Formalizing Non-monotonic Reasoning in Physics: The use of Kolmogorov Complexity to Formalize the Notions of "Typically" and "Normally"
Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2018, Puebla, Mexico, November 15, 2018 & LANMR 2019, Puebla, Mexico, November 15, 2019
Modelling autonomic dataspaces using answer sets
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007
Computing Semi-Stable Semantics of AF by 0-1 Integer Programming
Integrating State Constraints and Obligations in Situation Calculus
Completeness for the paraconsistent logic CG ' 3 based on maximal theories
On interactive proof-search for constructive modal necessity
Computing the clique-width of cactus graphs
Towards a Logic-programming System to Debug ASP Knowledge Bases
Characterizing stage argumentation semantics based on stable abducible semantics
Edge detection for facial expression recognition
Defining and Maintaining Agent's Experience in Logical Agents
Generating maximal models using the stable model semantics
Supporting decision making in organ transplanting using argumentation theory
A method to verify a path planning by a back-propagation articial neural network
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case
Inferring preferred extensions by Pstable semantics
A Note on Constructive Interpolation for the Multi-Modal Logic K m
Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias Básicas, Ingeniería y Tecnología , Universidad Autónoma de Tlaxcala (UAT) , Apizaco, Tlaxcala, México, November 5-6, 2009
Some Key Notions in Non-monotonic Reasoning
Creating color fashion trends through autonomous behavior using multi-agent Systems
A Logical Approach for Melodic Variations
New Semantics for Hybrid Probabilistic Programs
ASP: from Application Development to Syntax Extensions
Modelling Data Segmentation for Image Retrieval Systems
Model counting for #2SAT problem in outerplanar graphs
Ontology-based Translators: The new generation
Stable versus Layered Logic Program Semantics
Implication and biconditional in some three-valued logics
Preferences using Answer Sets
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR06 Workshop, Facultad de Ingeniería de la Universidad Auónoma de San Luis Potí, San Luis Potosí, Mexico, September 18, 2006
A statistical approach to crosslingual natural language tasks
Robot Platform Motion Planning using Answer Set Programming
Conditional preferences in P-RASP
Cognitive relations for argumentative texts
Revisiting C1
An Extension of the Stable Semantics via Lukasiewicz Logic
Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008
Efficient computation of the degree of belief in a propositional theory
P-stable models of strong kernel programs
Big data techniques to discover kidney problems at early stages: a prospective study
Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B
P-stable as an extension of WFS
Efficient counting of models for boolean formulas represented by embedded cycles
Counting Falsifying Assignments of Conjunctive Forms Using Binary Patterns
Three new genuine five-valued logics
Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness
Query reasoning on data trees with counting
Teaching natural deduction to improve text argumentation analysis in engineering students
SDCA: System to Detect Cancerous Abnormalities
Efficient Computation of the Degree of Belief for a Subclass of Two Conjuctive Forms
Formal Properties of Intentional Reasoning
Knowledge representation of passages type TOEFL
An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository
A practical approach to model classification schemes with OWL ontologies
Urban land use planning using answer set programming - preliminary report -
Evolutionary bacterial foraging algorithm to solve constraint numerical optimization problems
A Lower-Bound for Answer Set Solver Computation
Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, México, D.F., September 10-11, 2012
CTL AgentSpeak(L): a specification language for agent programs
Coordinated multi-agent exploration
A complete algorithm to solve the graph-coloring problem
Knowledge Capitalization in a Component-Based Software Factory: a Semantic Viewpoint
Hybrid query plan generation
The Dynamics of Political Narratives During the Russian Invasion of Ukraine
PGT: A Statistical Approach to Prediction and Mechanism Design
Multi-objective Optimization for Multi-level Networks
Social Network Structures of Primary Health Care Teams Associated with Health Outcomes in Alcohol Drinkers with Diabetes
Echoes of Automation: The Increasing Use of LLMs in Newsmaking
Advances in Social Computing, Third International Conference on Social Computing, Behavioral Modeling, and Prediction, SBP 2010, Bethesda, MD, USA, March 30-31, 2010. Proceedings
Deconstructing Interaction Dynamics in Knowledge Sharing Communities
Patient-Centered Information Extraction for Effective Search on Healthcare Forum
Incorporating Interpretation into Risky Decision-Making - A Computational Model
Detecting Changes in Opinion Value Distribution for Voter Model
Agent-Based Moral Interaction Simulations in Imbalanced Polarized Settings
Gaming the Social System: A Game Theoretic Examination of Social Influence in Risk Behaviour
Social Computing for Impact Assessment of Social Change Projects
Predicting Mobile Call Behavior via Subspace Methods
Regression Chain Model for Predicting Epidemic Variables
Inferring User Interests on Tumblr