yusuke1997/dblp-id-title huggingface dataset:
Algebraic Graph Rewriting Using a Single Pushout
Specification and Top Down Design of Distributed Systems
TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)
A New Technique for Strictness Analysis
B-Core: The B-Toolkit Demonstration
Future Trends of TAPSOFT
Experiences with the PSG - Programming System Generator
Generating Efficient, Terminating Logic Programs
Algebraic Specification of Synchronisation and Errors: A Telephonic Example
High Undecidability of Weak Bisimilarity for Petri Nets
The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable
Extensional Models for Polymorphism
Optimal Implementation of Wait-Free Binary Relations
Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach
Average Complexity of Additive Properties for Multiway Tries: A Unified Approach (Extended Abstract)
A Typed Intermediate Language for Flow-Directed Compilation
Automating Formal Specification-Based Testing
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract)
Strictness and Totality Analysis with Conjunction
Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS
TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89)
On the Domain of Traces and Sequential Composition
An Algebraic Approach to Temporal Logic
A Web-based Animator for Object Specifications in a Persistent Environment
Combining Algebraic and Predicative Specifications in Larch
The Tree Inclusion Problem
Locality Based Linda: Programming with Explicit Localities
Specifying Complex and Structured Systems with Evolving Algebras
Synchronization of a Line of Identical Processors at a Given Time
Analyzing Safety and Fault Tolerance Using Time Petri Nets
A Syntactic Theory of Dynamic Binding
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE)
An Algorithm for the Solution of Tree Equations
Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications
Generic Techniques for Source-Level Debugging and Dynamic Program Slicing
A Fine Grain Parallel Implementation of PARLOG
Dialogue with a Proof System
LISTLOG - A Prolog Extension for List Processing
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Feature Automata and Recognizable Sets of Feature Trees
The HOL-UNITY Verification System
Semantically Based Programming Tools (Summary)
A Distributed, Net Oriented Semantics for Delta Prolog
Specifying Avalon Objects in Larch
Word-into-Tree Transducers with Bounded Difference
An Unification Semi-Algorithm for Intersection Type Schemes
FACILE: A Symmetric Integration of Concurrent and Functional Programming
The Subsequence Graph of a Text
The Evaluation Transformer Model of Reduction and Its Correctness
A Uniform Syntactical Method for Proving Coinduction Principles in Lambda-Calculi
Termination Proofs Using gpo Ordering Constraints
First-Order Logic on Finite Trees
Proofs of Declarative Properties of Logic Programs
Theory and Practice of Software Development: Stages in a Debate
On the Semantics of Concurrency: Partial Orders and Transition Systems
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87)
CPO Models for a Class of GSOS Languages
The Natural Dynamic Semantics of Mini-Standard ML
Induction Principles Formalized in the Calculus of Constructions
On Narrowing Strategies for Partial Non-Strict Functions
Proving the Correctness of Recursion-Based Automatic Program Transformations
Fifth Generation Computer Project: Current Research Activity and Future Plans
A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions
Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol
Comparative Semantics for a Real-Time Programming Language with Integration
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL
Signal: A Formal Design Environment for Real-Time Systems
Actor-Oriented System Specification with Dynamic Logic
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications
When Is a Functional Tree Transduction Deterministic?
Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment
A Type-Based Approach to Program Security
A Type Discipline for Program Modules
Generic Systolic Arrays: A Methodology for Systolic Design
A Theory of Program Modifications
Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation
Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar
Local Model Checking in the Modal Mu-Calculus
A Unified Framework for Binding-Time Analysis
Describing a Signal Analyzer in the Process Algebra PMC - A Case Study
Model Checking Through Symbolic Reachability Graph
Publishing Formal Specifications in Z Notation on World Wide Web
Testing for a Conformance Relation Based on Acceptance
Associative-Commutative Discrimination Nets
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)
Non-standard Interpretations of LOTOS Specifications
A Calculus of Broadcasting Systems
Application of Prolog to Test Sets Generation from Algebraic Specifications
Verifying Correctness of Logic Programs
CCS for OO and LP
Labeled Trees and Relations on Generating Functions
Experiences with Object Oriented Programming
TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings
Maximum Packing for Biconnected Outerplanar Graphs
Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial)
A new Proof-Manager and Graphic Interface for the Larch Prover
On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract)
Parameterized Horn Clause Specifications: Proof Theory and Correctness
Testing Can Be Formal, Too
Interactive Internetworking for Interoperating Systems (Abstract)
Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution
A Rewrite Rule Based Approach for Synthesizing Abstract Data Types
Knowledge and Probability in Distributed Systems (Abstract)
The Varieties of Programming Language
Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract)
Automatically Proving Termination Where Simplification Orderings Fail
Continuation Semantics for PROLOG with Cut
A Theory of Abstract Data Types for Program Development: Bridging the Gap?
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract)
Software Construction Using Typed Fragments
Using LOTOS Patterns to Characterize Architectural Styles
Action Refinement as an Implementation Relations
Partial Composition and Recursion of Module Specifications
A Preprocessor Based Module System for Prolog
(Un)expected Path Lengths of Asymmetric Binary Search Trees
Traces of I/O-Automata in Isabelle/HOLCF
Linear Bounded Automata and Rewrite Systems: Influence of Initial Configurations on Decision Properties
EDP System Development Methodology: Auditability and Control
On Observational Equivalence and Algebraic Specification
Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph
Full Abstraction for Series-Parallel Pomsets
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)
Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract)
STeP: The Stanford Temporal Prover
Let-Polymorphism and Eager Type Schemes
On the Category of Petri Net Computations
Horn Clause Programs with Polymorphic Types: Semantics and Resolution
Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems
Specification Languages for Distributed Systems
Efficient Code Motion and an Adaption to Strength Reduction
Formal Specification of Object Systems
Is Type Checking Practical for System Configuration?
Decompilation of Control Structures by Means of Graph Transformations
A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics
Simple Solutions for Approximate Tree Matching Problems
Measuring Concurrency of Regular Distributed Computations
Non-Speculative and Upward Invocation of Continuations in a Parallel Language
A Complete Modal Proof System for a Subset of SCCS
On the Expressive Power of Algebraic Graph Grammars with Application Conditions
The Asf+Sdf Meta-Environment Documentation Tools for Free!
Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules
Inductive Assertion Method for Logic Programs
The Reachability Problem for Ground TRS and Some Extensions
Generated Models and the omega-Rule: The Nondeterministic Case
Object Organisation in Software Environments for Formal Methods
Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development
Reasoning with Executable Specifications
A Theory of Requirements Capture and Its Applications
On the Complexity of Branching Programs and Decision Trees for Clique Functions
Mechanized Inductive Proof of Properties of a Simple Code Optimizer
Fine Hierarchy of Regular omega-Languages
A Formal Specification of Line Representations on Graphics Devices
Higher Order Generalization in Program Derivation
Simulating Forward-Branching Systems with Constructor Systems
Combining Interaction and Automation in Process Algebra Verification
Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach
Fast Searching in a Real Algebraic Manifold with Applications to Geometric Complexity
Construction and Reuse of Formal Program Developments
Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types
Formalism and Method
Protective Interface Specifications
A Self-Applicable Partial Evaluator for Term Rewriting Systems
Testing Against Formal Specifications: A Theoretical View
Intensional Negation of Logic Programs: Examples and Implementation Techniques
Types as Parameters
Bisimulations and Abstraction Homomorphisms
Generating Efficient Code from Strictness Annotations
Formalization in Systems Development
On the Maximum Size of Random Trees
Characterizing Kripke Structures in Temporal Logic
On Causality Observed Incrementally, Finally
Traffic loading impacts on throughput and energy performance related to MIMO scheduling techniques and dynamic carrier band switching
An efficient broadcasting scheme for cognitive radio ad hoc networks
Single-element reconfigurable planar ultra wideband antenna for cognitive radio front end
Reciprocity calibration techniques, implementation on the OpenAirInterface platform
Performance evaluation of directional spectrum sensing using an over-the-air testbed
Lower bounds on the SER of LTE SFBC systems with imperfect CSI
Physical-layer security challenges of DSA-enabled TD-LTE
Internet of networks: is the future internet a cognitive radio application?
Dual band connectivity of cognitive radio networks
TV white-space for smart grid
Implementation issues for optimized hard decision energy detector-based cooperative spectrum sensing
Model for the correlation between quality of service and experience in cognitive radio networks
Adaptive FCME-based threshold setting for energy detectors
Software defined radar: synchronization issues and practical implementation
Applications of cognitive radio systems for industrial wireless automation
A bispectrum detector for FM modulated wireless microphone signals
Cognitive hybrid satellite-terrestrial systems
Robust spectrum sensing for cognitive radio based on statistical tests
Modular decision flow approach for selecting frequency, bandwidth and radio access technique for opportunistic network
Clustered network coordinated beamforming for cooperative spectrum sharing of multiple secondary systems
An experimental setup for performance evaluation of spectrum sensing via energy detector: indoor environment
Policy enforced spectrum sharing for unaware secondary systems
Combined power/channel allocation method for efficient spectrum sharing in TV white space scenario
Decentralized cooperative compressed spectrum sensing for block sparse signals
TCP performance in cognitive multi-radio mesh networks
System architecture in cognitive radio networks using a radio environment map
Performance limits of cooperative energy detection in fading environments
Concept and design of a cognitive radio prototyping platform
Robust detection of primary user emulation attacks in IEEE 802.22 networks
Performance of the LAD methods under channel impairments
Small cells, wireless backhaul and renewable energy: a solution for disaster aftermath communications
Channel allocation in peer to peer IEEE 802.22 networks
Achievable throughput using cognitive principles on a frequency band with data traffic
Network management of cognitive radio ad hoc networks
Minimizing the coarse-fine spectrum sensing time of cognitive radios with ideal secondary detectors subject to noise uncertainty: an analytical approach
CogART 2011, International Conference on Cognitive Radio and Advanced Spectrum Management, Barcelona, Spain, October 26-29, 2011
Cognitive engine: design aspects for mobile clouds
Spatial rank estimation in cognitive radio networks with uncalibrated multiple antennas
Interference driven linear precoding for cognitive radio downlink
CR-DMAC: a MAC protocol for cognitive radio networks with directional antennas
On the co-existence of primary and secondary transmitters in a broadcast network
Distributed spectrum map for cognitive radio ad hoc networks
Spectrum sharing in cognitive radio networks: impacts of interference power constraints
Optimal spectrum sensing in cognitive adhoc networks: a multi-layer frame work
Cognitive cars : constructing a cognitive playground for VANET research testbeds
Wide-band cooperative spectrum sensing method
Noise enhancement and SNR equivalence in Bernoulli nonuniform sampling
Closed loop transmission in EUTRA-LTE system
Measurement and ray-tracing of wideband indoor channel in UHF TV white space
SCFP: sectored circle forwarding protocol: a system enabling dynamic spectrum access
Modeling and simulation of joint time-frequency properties of spectrum usage in cognitive radio
Implementation and evaluation of a practical SDR testbed
CORAGE: an OFDMA-based cognitive radio system in emergency scenarios
Combined method for frequency error detection/correction in DAB-based systems
An agent-based simulation model of a market for dynamic spectrum access
Energy efficient resource allocation game for cognitive radio
Spectrum sensing for cognitive radio exploiting spectral masks
Experience cooperative sharing in cross-layer cognitive radio for real-time multimedia communication
Decision-making system for obtaining spectrum availability information in opportunistic networks
An auction-based mechanism for cooperative sensing in cognitive networks
DAB physical layer considerations for a reuse in cognitive radio systems
Activity pattern impact of primary radio nodes on channel selection strategies
Energy-efficient opportunistic spectrum access in cognitive radio networks with energy harvesting
Spectrum holes detection by information theoretic criteria
An efficient contention-based reporting protocol for collaborative spectrum sensing
LE-WARP: Linux enriched design for wireless open-access research platform
Optimum and suboptimum 2D channel estimation for UTRA LTE and LTE-advanced
Link reliability of underlay cognitive radio: symbol error rate analysis and optimal power allocation
Spatial interweave for a MIMO secondary interference channel with multiple primary users
CSOR: carrier sensing on reception
A comprehensive methodology for opportunistic spectrum access based on residual white space distribution
A novel approach for energy detector sensing time and periodic sensing interval optimization in cognitive radios
First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999
Proceedings of the Workshop on Verification and Debugging, V&D@FLoC 2006, Seattle, WA, USA, August 21, 2006
Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006
Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999
Statistical Dependency Parsing in Korean: From Corpus Generation To Automatic Parsing
Proceedings of the First Workshop on Statistical Parsing of Morphologically-Rich Languages, SPMRL@NAACL-HLT 2010, Los Angeles, CA, USA, June 5, 2010
Factors Affecting the Accuracy of Korean Parsing
Easy-First Dependency Parsing of Modern Hebrew
Representation of Morphosyntactic Units and Coordination Structures in the Turkish Dependency Treebank
Improving Arabic Dependency Parsing with Lexical and Inflectional Morphological Features
(Re)ranking Meets Morphosyntax: State-of-the-art Results from the SPMRL 2013 Shared Task
Probabilistic Lexical Generalization for French Dependency Parsing
SPMRL'13 Shared Task System: The CADIM Arabic Dependency Parser
Unsupervised frame based Semantic Role Induction: application to French and English
Exploiting the Contribution of Morphological Information to Parsing: the BASQUE TEAM system in the SPRML'2013 Shared Task
Handling Unknown Words in Statistical Latent-Variable Parsing Models for Arabic, English and French
Proceedings of the Fourth Workshop on Statistical Parsing of Morphologically-Rich Languages, SPMRL@EMNLP 2013, Seattle, Washington, USA, October 18, 2013
Two Methods to Incorporate 'Local Morphosyntactic' Features in Hindi Dependency Parsing
Supervised Learning of German Qualia Relations
Context Based Statistical Morphological Analyzer and its Effect on Hindi Dependency Parsing
Generative Constituent Parsing and Discriminative Dependency Reranking: Experiments on English and French
Constructing a Practical Constituent Parser from a Japanese Treebank with Function Labels
Lemmatization and Lexicalized Statistical Parsing of Morphologically-Rich Languages: the Case of French
Building an Arabic Multiword Expressions Repository
The LIGM-Alpage architecture for the SPMRL 2013 Shared Task: Multiword Expression Analysis and Dependency Parsing
Linguistically Rich Graph Based Data Driven Parsing For Hindi
Using an SVM Ensemble System for Improved Tamil Dependency Parsing
Discontinuous Data-Oriented Parsing: A mildly context-sensitive all-fragments grammar
Exploring beam-based shift-reduce dependency parsing with DyALog: Results from the SPMRL 2013 shared task
French parsing enhanced with a word clustering method based on a syntactic lexicon
Direct Parsing of Discontinuous Constituents in German
The AI-KU System at the SPMRL 2013 Shared Task : Unsupervised Features for Dependency Parsing
Statistical Parsing of Morphologically Rich Languages (SPMRL) What, How and Whither
Machine Learning of Syntactic Attachment from Morphosyntactic and Semantic Co-occurrence Statistics
A Statistical Approach to Prediction of Empty Categories in Hindi Dependency Treebank
Modeling Morphosyntactic Agreement in Constituency-Based Parsing of Modern Hebrew
An Empirical Study on the Effect of Morphological and Lexical Features in Persian Dependency Parsing
A Cross-Task Flexible Transition Model for Arabic Tokenization, Affix Detection, Affix Labeling, POS Tagging, and Dependency Parsing
Using Synthetic Compounds for Word Sense Discrimination
Parsing Word Clusters
Parsing Croatian and Serbian by Using Croatian Dependency Treebanks
Combining Rule-Based and Statistical Syntactic Analyzers
Assigning Deep Lexical Types Using Structured Classifier Features for Grammatical Dependencies
Data point selection for self-training
Proceedings of the Second Workshop on Statistical Parsing of Morphologically Rich Languages, SPMRL@IWPT 2011, Dublin, Ireland, October 6, 2011
Overview of the SPMRL 2013 Shared Task: A Cross-Framework Evaluation of Parsing Morphologically Rich Languages
On the Role of Morphosyntactic Features in Hindi Dependency Parsing
Statistical Parsing of Spanish and Data Driven Lemmatization
Korean Treebank Transformation for Parser Training
Application of Different Techniques to Dependency Parsing of Basque
Multiword Expressions in Statistical Dependency Parsing
Effective Morphological Feature Selection with MaltOptimizer at the SPMRL 2013 Shared Task
Lithuanian Dependency Parsing with Rich Morphological Features
Testing the Effect of Morphological Disambiguation in Dependency Parsing of Basque
Working with a small dataset - semi-supervised dependency parsing for Irish
Morphological Features for Parsing Morphologically-rich Languages: A Case of Arabic
Proceedings of the Joint Workshop on Statistical Parsing and Semantic Processing of Morphologically Rich Languages, SPMRL@ACL 2012, Jeju, Republic of Korea, July 12, 2012
Anonymous "Things" used as locals
Embedded control as a path to Forth acceptance
Safety nets for error trapping
Challenges for Forth
A 16 bit forth model for a 32 bit addressable host
Directory replication in distributed systems
The application of Forth engines as coprocessors for the Macintosh computer
Forth, metaWINDOW and GUI design
Pascal to Forth
The silicon palimpsest: a programming model for electrically reconfigurable processors
Forth in the USSR
A new process controller: a study in modularity
Multitasking/multiuser systems
Proceedings of the First Annual Workshop on Forth, FORTH 1989, Austin, Texas, USA, 1989
Development of a forth based remote weather station
Low-cost, fast, portable embedded system development
The design of a real-time multi-tasking operating system kernel for the Harris RTX 2000
Metrics for real-time systems
A Forth-based hybrid neuron for neural nets
Cooperative multitasking on the RTX 2000
A fast method for finding an integer square root
Creating conditional transform words
Systematic high-level interrupts in forth
Proceedings of the Fourth Annual Workshop on Forth: From the Classroom to the Real World, FORTH 1992, Kansas City, Missouri, USA, 1992
Debugging embedded systems implemented in C
Computer algebra in Forth
Asynchronous designs for systolic arrays
Forth in space: interfacing SSBUV, a scientific instrument, to the space shuttle
A neural net controller
Use of Forth in a course in computer algebra
A Forth course for engineers
Pipes in Forth
A Forth-based real-time in-flight monitoring system
Files in Pygmy Forth
The software stack data-type as an operating system service
Object oriented thinking in forth
Forth interface to MS-DOS TM interrupts
A C-to-Forth compiler
Architecture impact on compiler construction
A high speed foreground mulitasker for forth
A one key video graphics terminal
The evolution of an access control system
Sh-BOOM: the sound of the RISC market changing
The marketing of Forth workshop report
Mammography information and reporting system in forth