yusuke1997/dblp-id-title huggingface dataset:
HMM Model Selection Issues for Soccer Video
Multi-label learning by Image-to-Class distance for scene classification and image annotation
Trajectory-based handball video understanding
A discrete direct retrieval model for image and video retrieval
Cluster-based data modeling for semantic video search
Organizing multimedia data socially
Affective prediction in photographic images using probabilistic affective model
Image Object Recognition by SVMs and Evidence Theory
Analysis of vector space model and spatiotemporal segmentation for video indexing and retrieval
Efficient Summarizing of Multimedia Archives Using Cluster Labeling
An Effective Approach Towards Content-Based Image Retrieval
Evaluation of Expression Recognition Techniques
Detecting Semantic Concepts from Video Using Temporal Gradients and Audio Classification
The use of temporal, semantic and visual partitioning model for efficient near-duplicate keyframe detection in large scale news corpus
Multimodal Salient Objects: General Building Blocks of Semantic Video Concepts
Edge-Based Spatial Descriptor for Content-Based Image Retrieval
Inferring generic activities and events from image content and bags of geo-tags
ACADI showcase - automatic character indexing in audiovisual document
EDU: A Model of Video Summarization
SCULPTEUR: Multimedia Retrieval for Museums
Image annotation using clickthrough data
Efficient Compressed Domain Target Image Search and Retrieval
Semantic facets: an in-depth analysis of a semantic image retrieval system
Multiple Features in Temporal Models for the Representation of Visual Contents in Video
Automated Liver Detection in Ultrasound Images
Advanced Documents Authoring Tool
A framework for multimedia content abstraction and its application to rushes exploration
Measuring the impact of temporal context on video retrieval
Using cross-media correlation for scene detection in travel videos
Interactive components for visual exploration of multimedia archives
A comparison of color features for visual concept classification
Natural / Man-Made Object Classification Based on Gabor Characteristics
3D-Model search engine from photos
Spectrally Layered Color Indexing
Comparison Between Motion Verbs Using Similarity Measure for the Semantic Representation of Moving Object
Multiple feature fusion by subspace learning
Canonical image selection from the web
A Compact Shape Descriptor Based on the Beam Anlge Statistics
Modular Design of Media Retrieval Workflows Using ARIA
A Cascade of Unsupervised and Supervised Neural Networks for Natural Image Classification
Style modeling for tagging personal photo collections
Interactive Content-Based Retrieval Using Pre-computed Object-Object Similarities
Towards multimodal emotion recognition: a new approach
Multiple temporal texture detection using feature space mapping
Automatic Image Semantic Annotation Based on Image-Keyword Document Model
Visual islands: intuitive browsing of visual search results
Performance evaluation of relevance feedback methods
Relative Margin Support Tensor Machines for gait and action recognition
Leveraging user query log: toward improving image data clustering
Multi-query interactive image and video retrieval -: theory and practice
A nearest-neighbor approach to relevance feedback in content based image retrieval
Wissensrepräsentation und kognitive Modelle
Database Support for Knowledge Representation?
Theory Reasoning in First Order Calculi
Model-Based Knowledge Acquisition
Modellierung von Konfigurierungsaufgaben mit AMOR
Towards Declarative Programming of Conceptual Models
Tool Integration in Evolving Information Systems Environments
A KBMS for BABYLON
Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings
Managing Qualitative Temporal Information: Expressiveness vs. Complexity
Generic Update Operations Keeping Object-Oriented Databases Consistent
Two Languages to Do the Same?
Modellierung von Abläufen in NF2-Datenbanken durch höhere Petri-Netze
Negation in Logic Programming: A Formalization in Constructive Logic
Handling Incomplete Knowledge in Artificial Intelligence
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
Conceptual Modeling of Database Applications
Practical Experiences - a Panel Session
Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption
Conceptual Modelling of Large Reusable Knowledge Bases
Informationssysteme und Künstliche Intelligenz: Modellierung, 2. Workshop, Ulm, 24.-26. Februar 1992, Proceedings
Database Concepts for the Support of Knowledge-Based Systems
Modelling Information Systems as Object Societies
Object-Oriented System Specification Using Defaults
A Semantics for the Integration of Database Modifications and Transaction Brackets into a Logic Programming Language
Performance Measurements and Analysis of Coupling Approaches of Database and Expert Systems and Consequences to their Integration
Information Analysis: A step by step Clarification of Knowledge and Requirements
Terminological reasoning and Information Management
Concepts of Object-Orientation
Knowledge Bases and Databases: Current Trends and Future Directions
An Approach to DBS-based Knowledge Management
Partizipative Modellbildung zur Optimierung der Softwareentwicklung
Basic Units for the Database Design Process
Complex Structures in (Deductive) Database Systems: Variables and Open Property Sets
Practical Experiences in Coupling Knowledge Bases and Database in a Productive Environment
Abbildung KI-typischer Modellierungsmechanismen auf Datenbanktechnologien
Terminologies and Rules
Ausführbare konzeptionelle Modelle
Integrity and Recursion: Two Key Issues for Deductive Databases
CASE-Einsatz bei der Entwicklung eines Konfigurierungssystems
Information Systems and Artificial Intelligence: Integration Aspects, First Workshop, Ulm, FRG, March 19-21, 1990, Proceedings
Evolution towards, in, and beyond Object Databases
Integration of AI Systems in Conventional Environments
Specifying ROSE in LOTOS
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems
Experiences Using Estelle Within SEDOS Estelle Demonstrator
Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
Test Sequence Selection
Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring
A New Approach for Distributing Estelle Specifications
Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Enforcing Availability in Failure-Aware Communicating Systems
On Formal Techniques in Protocol Engineering - Example Challenges
An SMT Approach to Bounded Reachability Analysis of Model Programs
Visual animation of LOTOS using SOLVE
Decidable Extensions of Hennessy-Milner Logic
Implementing CCS in Maude
TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation
Typing Component-Based Communication Systems
Life-Cycle E-commerce Testing with OO-TTCN-3
Simple Isolation for an Actor Abstract Machine
Towards a Modular Specification and Verification of Protocols within a Layered Architecture
Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets
Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements
Dynamic Configuration in LOTOS
Effectiveness for Input Output Conformance Simulation iocos̱
Specification of a Distributed Coordination Function in LOTOS
Fault-Tolerant Multiparty Session Types
Assessing Code Understanding in LLMs
Protocol Modeling with Model Program Composition
Assertional Verification of a Connection Management Protocol
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Increasing the Concurrency in Estelle
Concept of Quantified Abstract Quotient Automaton and its Advantage
Modeling and Testing Agent Systems Based on Statecharts
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle
Counterexample Guided Spotlight Abstraction Refinement
Transferring Formal Techniques to Industry
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
Integrating Real Time into Spin: A Prototype Implementation
Analysis of Realizability Conditions for Web Service Choreographies
An Object Oriented Interpretation of LOTOS
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers
A Bus Instrumentation Protocol Specified in LOTOS
Incremental processing of Z specifications
A constraint-oriented real-time process calculus
Simulating Multicast Transport Protocols in Estelle
Monitoring Networks through Multiparty Session Types
The + CAL Algorithm Language
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study
Annotation Inference for Separation Logic Based Verifiers
Object-Z: An Object-Oriented Extension to Z
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach
Generalizing the Submodule Construction Techniques for Extended State Machine Models
Formal Verification of Peephole Optimizations in Asynchronous Circuits
Integrating Estelle and ASN.1 for Automatic Implementation
A Model-Checking Approach for Service Component Architectures
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic
Shared-state design modulo weak and strong process fairness
Contracts for Multi-instance UML Activities
Automatic Translation of Time Petri Nets into Estelle Description
Dynamic Soundness in Resource-Constrained Workflow Nets
Difference Bound Constraint Abstraction for Timed Automata Reachability Checking
A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams
Static Type Analysis of Pattern Matching by Abstract Interpretation
Noninterference via Symbolic Execution
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion
A New Approach for Protocols Performance Evaluation Using Estelle Specifications
Honesty by Typing
Concurrent Modelling in LOTOS as a Solution to Real Time Problems
A Configurable CEGAR Framework with Interpolation-Based Refinements
Adding Interaction Sets to Estelle
Verification by consecutive projections
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
C Wolf - A Toolset for Extracting Models from C Programs
Model Checking for Timed Statecharts
The formalization and analysis of CCR protocol and service
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach
Amortised Bisimulations
Derivation of Test Cases for LAP-B from a LOTOS Specification
Formal Method for Event-Triggered Sequential Systems
Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks
Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems
Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
Timed Mobile Ambients for Network Protocols
Submodule Construction for Specifications with Input Assumptions and Output Guarantees
A Tool for Generating Specifications from a Family of Formal Requirements
JustAct: Actions Universally Justified by Partial Dynamic Policies
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
Formal Verification of Web Applications Modeled by Communicating Automata
Framework for Automatic SDL to C++ Translation
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions
Time and Action Lock Freedom Properties for Timed Automata
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Extending LOTOS towards performance evaluation
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects
Experience in the Development of an ISDN Layer 3 Service in LOTOS
Ownership Types for the Join Calculus
Integrated System Interoperability Testing with Applications to VOIP
A Formal Framework for Consent Management
A Distributed Partial Order Reduction Algorithm
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries
Formal Support for Design Techniques: A Timethreads-LOTOS Approach
A Protocol Engineering Workstation
Testing Distributed Systems Through Symbolic Model Checking
Scenario-Based Timing Consistency Checking for Time Petri Nets
With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves
Behavioural Contracts for a Sound Assembly of Components
A Formal Description Technology: Graphics E-LOTOS
Analyzing BGP Instances in Maude
Optimized Colored Nets Unfolding
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks
Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler
Stabilizing Client/Server Protocols without the Tears
Forgetting the Time in Timed Process Algebra
A translator for ASN.1 into LOTOS
Correctness of At-Most-Once Message Delivery Protocols
Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models
Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
A LOTOS Simulator in OBJ
A Formal Approach to Conformance Testing of Distributed Routing Protocols
Exploiting Symmetry when Model-Checking Software
The Orc Programming Language
Using Formal Methods: if you're so smart how come you ain't rich?
Compositional Modelling and Verification of IPv6 Mobility
Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification
Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Concerning the Ordering of Adaptive Test Sequences
On Certifying Distributed Algorithms: Problem of Local Correctness
Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
Translation from TTCN to LOTOS and the Validation of Test Cases
Heap-Dependent Expressions in Separation Logic
Combining Formal Methods: An Exercise in Integration
A Hoare-style Proof System for LOTOS
Procedural Choreographic Programming
Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation
Modelling Dynamic Communication Structures in LOTOS
Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description
A Formal Multi-Layer Test Methodology and its Applications to OSI
From Active to Passive: Progress in Testing of Internet Routing Protocols
The Challenge of Typed Expressiveness in Concurrency
Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
Automatic Verification of Annotated Code
Incremental Construction Approach for Distributed System Specifications
Improvements for the Symbolic Verification of Timed Automata
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata
Specification, detection and resolution of IN feature interactions with Estelle
Monitoring Hyperproperties with Circuits
Mutation Testing Applied to Validate Specifications Based on Petri Nets
Symbolic Diagnosis of Partially Observable Concurrent Systems
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)
Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler
An Approach to Specifying and Synthesizing Communicating Processes
Superposition Refinement of Parallel Algorithms
Localizing Program Errors for Cimple Debugging
Verifying Erlang/OTP Components in mu CRL
LOTOS-like Process Algebras with Urgent or Timed Interactions
On Test Derivation from Partial Specifications
A Framework for Certified Self-Stabilization
The Adoption of Formal Methods within OTC
QoS Functional Testing for Multi-media Systems
Branching Time Equivalences for Interactive Markov Chains
A Logical Account of NGSCB
How Stop and Wait Protocols Can Fail over the Internet
Formal methods for Actor systems: A progress report
Using FDTs in the development of a PICS editor
An Abstract Framework for Deadlock Prevention in BIP
Defining Distances for All Process Semantics
A Distributed Coordination Infrastructure for Attribute-Based Interaction
A Temporal Logic Based Framework for Intrusion Detection
Privacy Assessment Using Static Taint Analysis (Tool Paper)
Verification model reduction through abstractions
Verification of a Sliding Window Protocol Using IOA and MONA
A service request description language
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract)
A Modest Security Analysis of Cyber-Physical Systems: A Case Study
Interoperability Test Suite Derivation for Symmetric Communication Protocols
Test Case Generation for Protocols Specified in Estelle
Limits and possibilities of sequential hashing with supertrace
Towards Automatic Distribution of Testers for Distributed Conformance Testing
On the Technology Transfer of Formal Methods: An Experience on LOTOS
Correct Passive Testing Algorithms and Complete Fault Coverage
Adaptable Processes (Extended Abstract)
LOTOS Extended with Clocks
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency
Causal-Consistent Replay Debugging for Message Passing Programs
Specification and Verification of Synchronous Hardware using LOTOS
SPIDER - Service and Protocol Interactive Development Environment
Input-Output Conformance Simulation (iocos) for Model Based Testing
A graphical representation and prototype editor for the Formal Description Technique Estelle
Derivation of Heard-of Predicates from Elementary Behavioral Patterns
Scaling Information Flow Control By-Construction to Component-Based Software Architectures
Weak Nominal Modal Logic
Understanding Interfaces
Synchronic Distance in Process Algebra
The Video Dial Tone Service and the ATM Environment
Type-Based Analysis for Session Inference (Extended Abstract)
Formalising Web Services
Improving Conformance Testing for LOTOS
A LOTOS Based Calculus with True Concurrency Semantics
Correct and Efficient Antichain Algorithms for Refinement Checking
Verification of a Hierarchical Generic Mutual Exclusion Algorithm
Conditions for Resolving Observability Problems in Distributed Testing
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence
Weak Simulation Quasimetric in a Gossip Scenario
FDT based development of an interworking unit between LANs and X.25 networks
Design of the LOTOSPHERE Symbolic LOTOS Simulator
Fuzzy-Timed Automata
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems
Stepwise transformations for fault-tolerant design of CCS processes
Validating Protocol Composition for Progress by Parallel Step Reachability Analysis
Validating Simulations Between Large Nondeterministic Specifications
UNIX STREAMS Generation from a Formal Specification
Program Repair Suggestions from Graphical State-Transition Specifications
DILL: Specifying Digital Logic in LOTOS
Refined Interfaces for Compositional Verification
The University of Ottawa LOTOS Toolkit
Testing Liveness Properties: Approximating Liveness Properties by Safety Properties
Stepwise Production of an SDL Description
Remote testin can be as powerful as local testing
On the Improvement of Estelle Based Automatic Implementations
Parameterized Verification of Track Topology Aggregation Protocols
Coverage analysis for embedded testing and an application
Requirement Specification For Real-Time and Hybrid Systems
Multiple Mutation Testing from FSM
Frameworks by means of virtual types - exemplified by SDL
Specification and Verification of Timed Systems
Epistemic Logic for the Applied Pi Calculus
User-Friendly Verification
Symbolic execution of LOTOS specifications
Using LOTOS in a Design Environment
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models
Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle
An Object Oriented Method for Implementing Layered Protocols
Type Checking Privacy Policies in the π-calculus
Network and Application for New Generation
A Case Study on Parametric Verification of Failure Detectors
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results
Semantically Sound Analysis of Content Security Policies
A Concise Compositionalj Statecharts Semantics Definition
On the Power of Attribute-Based Communication
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification
Lambda-beta: A Virtual LOTOS Machine
Squeezing Streams and Composition of Self-stabilizing Algorithms
Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances
Fault Models for Testing in Context
Reasoning About Distributed Secrets
A Formalisation of SysML State Machines in mCRL2
Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers
Process Algebraic Analysis of Cryptographic Protocols
VEDA 2: Power to the protocol designers
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol
The QUEST-Approach for the Performance Evaluation of SDL-Systems
Submodule Construction for Extended State Machine Models
The Reversible Temporal Process Language
Self-independent Petri Nets for Distributed Systems
Verification of Directed Acyclic Ad Hoc Networks
Verification of Dense Time Properties using Theories of Untimed Process Algebra
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994
Eight Years of Experience in Test Generation from FDTs using TVEDA
Scalable and Object Oriented SDL State(chart)s
An Upward Compatible Timed Extension to LOTOS
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets
Automatic Checking of Aggregation Abstractions Through State Enumeration
A Case Study in Formal Verification Using Multiple Explicit Heaps
Formal specification in the development of industrial applications: Subway speed control system
UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS
An Industrial Experience on Development with LOTOS and SDL
Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols
A Model-Based Certification Framework for the EnergyBus Standard
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
A Type Graph Model for Java Programs
Formal Methods to Assist Conformance Testing. A Case Study