位置：成果数据库 > 会议 > 会议详情页
Traversing the Maching Graph
  • 所属机构名称：复旦大学
  • 成果类型：会议
  • 相关项目：非规范知识的数学理论
同会议论文项目
非规范知识的数学理论
期刊论文 164 会议论文 64 获奖 8 著作 1
同项目会议论文
Weakly Distributive Domains.
Weakly distributive domains
Deciding Bisimilarity of Full BPA Processes Locally.
Quantum m-out-of-n Oblivious Transfer.
General Public Key m-out-of-n Oblivious Transfer.
Expansive bisimulation for context-free processes.
More on weak bisimilarity of normed basic parallel processes.
Combining Topological and Directional Information: First Results
A Posterior-Based Method for Markov Logic Networks Parameters Learning
Deciding weak bisimilarity of normed context-free processes using tableau.
Spatial Reasoning Based Spatial Data Mining for Precision Agriculture
QUALITATIVE SPATIO-TEMPORAL DATABASE
Improved Algorithm For Continuous Moving Objects Queries
A Design of Product Configuration Manager Based on Weight Constraint Parameter Value in Manufacture
A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network
Learning Dynamic Bayesian Network with Immune evolutionary algorithm
Algorithm Studies of Rlues Generation in CORS Methodology
A New Taxonomy of Coordination Models Based on Interaction Types
A Survey of Multi-agent Coordination.
Advances in Multi-Agent Coordination
Nonmetric Multicommodity Facility Location and k-Median problem with service installation costs
Approximation Algorithms for Data management in Geometric Network
A New Cube-based Algorithm for Computing the Feature Core of a Consistent Decision Table
On-line Diagnosis of Discrete-event Systems: A Hierarchical Approach
An Extended Hierarchical Framework for Definitions of Diagnosability of Discrete Event Systems
Multi-bidding Strategy in Sponsored Keyword Auction
Use of rectangle algebra in cardinal direction
Containing Order Rough Set Methodology
Studies on Some Details of Algorithm IGRS
统计关系学习综述
Sequential voting rules and multiple elections paradoxes.
Extending the Strand Space Method to Verify Kerberos V.
Combinative Reasoning with RCC5 and Cardinal Direction Relations
A Model for Representing Topological Relations between Simple Concave Regions
Program Verification by Using DISCOVERER.
Inplementing Higher-order control in Java.
Qualitative Spatial Relation Database for Semantic Web
On Modularity of Social Network Communities: The Spectral Characterization
Cardinal Direction Relations in 3D Space
A Markov Logic Network Learning Algorithm from Relational Missing Data
On Approximating the Maximum Simple Sharing Problem
A distributed Q-learning algorithm for multi-agent team coordination
MULTI- GRANULARITIES APPROXIMATE METHOD FOR OBTAINING QUALITATIVE SPATIAL RELATIONS
Non-Metric Multicommodity and Multilevel Facility Location
Efficient Algorithms for k-Disjoint Paths Problems on DAGs
Approximating the Maximum Sharing Problem
Online OVSF Code Assignment with Resource Augmentation.
Online Frequency Allocation in Cellular Networks
A Recommendation Algorithm Combining User Grade-based Collaborative Filtering and Probabilistic Rela
Model-based Diagnosis of Discrete Event Systems with An Incomplete System Model
Mechanized proofs for the Parameter Abstraction and Guard Strengthening Principle in Parameterized V
Decidability of weak bisimilarity for a subset of BPA.
A 1-Local 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs
Process Mining: Extending “α-Algorithm” to Mine Duplicate Tasks in Process Logs
Improved Algorithms for Deriving all Minimal Conflict Sets in Model-based Diagnosis
A Clause Learning Algorithm Combining Immune Mechanism to Invent Predicate
Using Description Logic to Determine Seniority among RB-RBAC Authorization Rules
A Fuzzy Spatial Region Model Based on Flou Set
基于MBR的拓扑、方位、尺寸结合的定性空间推理
A Two-Stage Clustering Algorithm for Multi-type Relational Data
A Complete Approach to Identify Conflict Sets Based on ATMS
The Regulation of Gene Expression in E-Cell
Model Composition in Multi-dimensional Data Spaces